Acknowledgement
Grant : 고신뢰 자율제어 SW를 위한 CPS(Cyber-Physical Systems) 핵심 기술 개발
Supported by : 한국산업기술평가관리원
Electronics and Telecommunications Trends (전자통신동향분석)
- Volume 28 Issue 2
- /
- Pages.29-37
- /
- 2013
- /
- 1225-6455(pISSN)
Trends in Modeling & Simulation Technologies for High-Confidence Software Development
고신뢰 SW 개발을 위한 M&S 기술 동향
- Published : 2013.04.15
Abstract
최근 임베디드 제어 시스템의 규모와 복잡도가 폭발적으로 증가함에 따라, 단일 시스템을 대상으로 하는 기존 M&S(Modeling & Simulation) 기반의 SW 개발 기술은 한계에 부딪히게 되었다. 이에 본고에서는 네트워크 기반 복합 임베디드 제어 시스템의 고신뢰 SW 개발을 위한 M&S 기술 동향을 소개한다. 먼저 모델링 단계에서 복합 시스템의 이종성을 다루기 위한 모델링 기술과 대표적인 도구를 소개하고, 다음으로 대규모 하이브리드 시스템 모델의 검증을 위한 시뮬레이션 및 정형 검증 기술과 관련 도구를 소개한다.
Keywords