학술논문
모델 행동 양식의 시뮬레이션을 이용한 초기 디자인 검증 방법
이용수 0
- 영문명
- A Strategy for Validation in Preliminary Design Stage using The Simulation of Model Behavior
- 발행기관
- 한국시뮬레이션학회
- 저자명
- 신승훈(Seung Hun Shin) 박승규(Seung Kyu Park) 최경희(Kyung Hee Choi)
- 간행물 정보
- 『한국시뮬레이션학회 논문지』제19권 제1호, 153~160쪽, 전체 8쪽
- 주제분류
- 공학 > 기타공학
- 파일형태
- 발행일자
- 2010.03.30
4,000원
구매일시로부터 72시간 이내에 다운로드 가능합니다.
이 학술논문 정보는 (주)교보문고와 각 발행기관 사이에 저작물 이용 계약이 체결된 것으로, 교보문고를 통해 제공되고 있습니다.
국문 초록
소프트웨어 개발 프로세스에서 발생되는 오류의 대부분은 요구사항 정의와 디자인 단계에서 비롯된다. 또한 이들 단계에서 포함된 오류의 수정 및 제거는 이후 단계에서 포함된 오류의 수정에 비해 훨씬 많은 노력과 비용을 요구한다. 하지만 요구사항과 디자인된 모델의 검증은 매우 중요한 작업임에도 불구하고 다양한 문제점들로 인해 성공적으로 수행되고 있지 못하다. 따라서 본 논문에서는 초기 디자인 단계에서 요구사항 및 모델의 검증 작업을 동시에 수행할 수 있는 모델의 시뮬레이션을 통한 검증 절차를 제안한다. 이 때 작성되는 모델은 Ptolemy 상에 소프트웨어의 행동 양식을 바탕으로 작성된다. 제안된 방법을 DNS 시스템 환경에 적용하여 사용 가능성을 확인하였으며, 시뮬레이션 결과에 따르면 행동 양식을 반영한 모델의 시뮬레이션을 통해 기존에 알려진 시스템의 내재된 오류 혹은 취약성을 발견 가능함이 확인되었다. 이는 제안된 방법이 소프트웨어 개발프로세스 초기에서 요구사항과 모델을 검증하는 절차로 이용될 수 있음을 의미한다.
영문 초록
Most part of errors in software development process are included during the stage of requirements definition and design. And correction or elimination of errors from those stages requires much more efforts and costs than those from the later part of software development process. However, despite of the importance of the validation of requirement definition and design stages, several kinds of problem have made it hard to be done successfully. Therefore, in this paper, we introduce a novel validation process for the preliminary design stage. The validation process is based on simulations of model and it can be used to validate requirements and model simultaneously. Models in the validation process will take only the behavior of software and be built on Ptolemy framework. The usability of our validation process is confirmed with a case study over DNS system environment. And the result of simulation shows well-known errors or vulnerabilities can be found with simulations of model which has the behavior of software. This means our validation process can be used as a process to validate requirements and models during the early stage of software development process.
목차
1. 서 론
2. 관련 연구
3. 모델 행동 양식 검증
4. DNS 서버의 행동 양식 모델 검증
5. 시뮬레이션 및 실험 결과
6. 결론 및 향후 연구
해당간행물 수록 논문
- 비대칭 왜곡 어안렌즈를 위한 영상 손실 최소화 왜곡 보정 기법
- 시뮬레이션 모델을 이용한 K회사 반도체 패키지 공정의 생산량 증가를 위한 연구
- 최적화된 확률 모델을 이용한 다양한 품질의 지문분류
- 콘텐츠 명성 및 사용자 명성 평가를 이용한 UCC 검색 품질 개선
- 지대공미사일 요격 성능 분석 시뮬레이터 개발
- 다단계 구단위화를 이용한 고속 한국어 의존구조 분석
- 시뮬레이티드 어닐링을 활용한 조선 소조립 라인 소일정계획 최적화
- 모델 행동 양식의 시뮬레이션을 이용한 초기 디자인 검증 방법
- 층화추출에 의한 통제변수의 시뮬레이션 성과분석
- 제어 검증용 발전소 시뮬레이터 개발
- 동적 여과 기법 기반 센서 네트워크의 에너지 효율을 높이기 위한 키 재분배 결정 방법
- A Study on the Battle Management Language Application for the C4I and M&S Interoperation in ROK Forces
- 확률과정을 따르는 전투 네트워크 시뮬레이션 연구
- 센서 네트워크에서 클러스터 신뢰도 기반 정적 여과 확률 조절 기법
- 이벤트 기반 웹서비스를 이용한 워게임 시뮬레이터 제작
- 무선 센서 네트워크에서 통계적 여과 기법의 에너지 효율 향상을 위한 퍼지논리를 적용한 동적 경계값 결정 기법
- 해상크레인으로 인양하는 중량물의 Tagline 제어를 위한 다물체계 동역학 시뮬레이션 및 실험
참고문헌
교보eBook 첫 방문을 환영 합니다!
신규가입 혜택 지급이 완료 되었습니다.
바로 사용 가능한 교보e캐시 1,000원 (유효기간 7일)
지금 바로 교보eBook의 다양한 콘텐츠를 이용해 보세요!