최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국시뮬레이션학회논문지 = Journal of the Korea Society for Simulation, v.27 no.3, 2018년, pp.23 - 36
Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and c...
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
DEVS 형식론이란? | DEVS 형식론은 (Zeigler, 2000)가 제안한 계층적이고 모듈러한 형태로 이산사건 시스템을 기술하고 해석할 수 있는 수학적 표현기법으로 지난 수십 년간 광범위하게 사용되어 왔으며, 복잡한 실제 시스템을 좀 더 잘 표현하기 위해 원래의 클래식한 수학적인 표현보다는 보다 구조화된 집합의 형태를 지닌 구조적 DEVS형식론과 이를 지원하는 DEVS다이어그램이 모델링에 더 많이 사용되어 왔다(Song, 2012; Song, 2010). 이러한 다이어그램으로 명세된 시스템 모델에 대해서, 모델 해석을 위해 명세서대로 시뮬레이션 소프트웨어를 구현하게 되는데, 체계 적으로 구현하는 방법과 구현된 소프트웨어가 명세된 모델을 제대로 구현하였는지를 검증하는 것은 개발자에게 실무적으로 매우 중요한 주제이다. | |
시뮬레이터의 검증에는 어떤 방식이 있는가? | 시뮬레이터의 검증은 크게 동적 검증과 정적 검증의 두 가지 방식이 있어왔다. 먼저 동적 검증은 구현된 시뮬레이터를 구동시키면서 모델에 근거한 테스트케이스를 만든 후 시험하여 확인하는 것이다. | |
동적 검증과 정적 검증의 차이점은? | 시뮬레이터의 검증은 크게 동적 검증과 정적 검증의 두 가지 방식이 있어왔다. 먼저 동적 검증은 구현된 시뮬레이터를 구동시키면서 모델에 근거한 테스트케이스를 만든 후 시험하여 확인하는 것이다. 정적 검증은 이와는 별개로 시뮬레이터를 구동하지 않고 이론적 증명을 하거나, 검사기법을 사용한다. 그러나 일반적으로 이론적 증명은 상태폭발문제로 현실적으로 어렵다고 알려져 있다. |
Byun, J.H, Choi, C.B., Kim, T.G., 2009. "Verification of the DEVS model implementation using aspect embedded DEVS," 2009 Proceeding of Spring Simulation Multiconference, Artical No. 151.
DTaQ, 2016. Request for Proposal: Total life-cycle RAM standard dataset system development: third phase. Retrieved by google search from https://www.dtaq.re.kr/ at 2018.7.
DTaQ, 2015. Simulation model definition document for RAM validation and verification, Technical Report.
Hong, Ki J. and Tag G. Kim. 2006. "DEVSpecL-DEVS specification language for modeling, simulation and analysis of discrete event systems," Information and Software Technology, Vol. 48, No. 4, pp. 221-234.
Karl Wiegers, 2001. Peer Reviews in Software: A Practical Guide, Addison-Wesley Professional.
Kim, T. G., C. H. Sung, et. al, 2011. "DEVSim++ Toolset for Defense Modeling and Simulation and Interoperation," The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, Vol. 8, No. 3, pp. 129-142.
Mills, H.D., Dyer, M. and Linger, R.C, 1987. Cleanroom Software Engineering, IEEE Software.
Saadawi, H., and Wainer, G., 2013. "Principles of discrete event system specification model verification," Simulation, vol. 89, Issue 1, pp. 41-67.
Song, H.S., and T. G. Kim, 2010. "DEVS Diagram Revised: A Structred Approach For DEVS Modling," 2010 European Simulation and Modeling Conference, Hasselt, Belgium, Oct. 2010.
Song, H.S., 2012. "Structured DEVS Formalism: A Structural Modelling Method of Discrete Event Systems," Journal of Korean Simulation Society, vol. 21, no.2, pp. 19-30.
Sung, Changho and Tag Gon Kim, 2012. "Collaborative Modeling Process for Development of Domain-Specific Discrete Event Simulation Systems," IEEE Transactions on Systems, Man, and Cybernetics - Part C: Applications and Reviews, Vol. 42, No. 4, pp. 532-546.
Zeigler, B.P and Tag G. Kim, 2000. Theory of Modelling and Simulation (2ndEd.), Acedemic Press.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
Free Access. 출판사/학술단체 등이 허락한 무료 공개 사이트를 통해 자유로운 이용이 가능한 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.