검색 상세

효율적인 시뮬레이션 모델 검증을 위한 프레임워크 제안

A Framework for the efficient simulation model verification.

초록/요약

시뮬레이션 모델의 성공적인 개발은 시뮬레이션 프로젝트에서 가장 중요한 부분 중 하나이다. 모델의 성공적인 개발을 위해서는 두 가지 관점으로 정확성을 점검해야한다. 첫 번째는 모델의 검증(verification)이다. 이는 모델이 컴퓨터 언어로 잘 구현되었는지를 입증하는 것이다. 두 번째는 검토(validation)이다. 이는 모델이 프로젝트 목적에 적합한 결과(Output)를 가져오는지를 점검하는 것이다. 하지만 Winter Simulation Conference와 같은 시뮬레이션 컨퍼런스에서도 검토 중심의 연구만 진행되고 있을 뿐 검증(verification)에 대한 연구는 미흡한 실정이다. 따라서 본 연구에서는 시뮬레이션 모델 검증을 위한 프레임워크를 통해 부족한 검증 연구를 재조명하고 모델 개발시간 단축을 통해 모델 개발자에게 가해지는 부하를 줄이고 검증 오류를 최소화하는 것이다. 검증은 정적 검증과 동적 검증 두 부분으로 나누어 점검하며 경로의 오류, 모듈의 오류, 논리 오류, 처리능력 오류 부분으로 나누어 각 부분의 오류 검출 알고리즘을 통해 오류를 검출·관리하고 이를 모델 개발자가 관리할 수 있게 하여 모델 개발자에게 주어지는 부하를 줄였다.

more

초록/요약

For the successful development of the simulation model, a modeler should check his or her model for accuracy by two perspectives. The first is model verification of the model. It is to demonstrate that the model is well implemented in a computer language. The second is the validation process to check whether or not the developed model is suitable for achieving the project objectives. So far mostly the study has been carried out for the validation process. The purpose of this study is to propose an automation procedure for the model verification to minimize model error and shorten the model development lead time. Our method is composed of static and dynamic verification processes. The former performs path error check, module error check, and logic error check. The latter is for checking the possibility of deadlock.

more

목차

1. 서론

2. 기존연구
2.1 Arena의 Check Model 기능과 한계점
2.2 CoSiM의 개념모델 설계 및 Check Validity와 한계점

3. 본론
3.1 모델 검증 방법 제안
3.1.1 정적 검증
3.1.1.1 경로 오류 검출(사전 준비작업)
3.1.1.2 모듈 오류 검출
3.1.1.3 논리 오류 검출
3.1.1.4 처리 능력 오류 검출
3.1.2 동적 검증
3.1.2.1 처리 능력 오류 검출
3.2 오류 보고서
3.2.1 메인 화면
3.2.2 경로 오류 리스트
3.2.3 모듈 오류 리스트
3.2.4 논리 오류 리스트
3.2.5 처리능력 오류 리스트
3.2.6 전체 오류 리스트
3.2.7 허용된 오류 리스트
3.2.8 동적 점검
3.2.9 결과 보고서 출력
3.2.10 최종 모델 생성

4. 결론

more
반출 Meta View 목록