고신뢰 SW 개발을 위한 M&S 기술 동향

Trends in Modeling & Simulation Technologies for High-Confidence Software Development

저자
이해영, 전재호, 전인걸, 김원태 / CPS연구실
권호
28권 2호 (통권 140)
논문구분
임베디드 소프트웨어 & 시스템반도체 기술 특집
페이지
29-0
발행일자
2013.04.15
DOI
10.22648/ETRI.2013.J.280204
초록
최근 임베디드 제어 시스템의 규모와 복잡도가 폭발적으로 증가함에 따라, 단일 시스템을 대상으로 하는 기존 M&S(Modeling & Simulation) 기반의 SW 개발 기술은 한계에 부딪히게 되었다. 이에 본고에서는 네트워크 기반 복합 임베디드 제어 시스템의 고신뢰 SW 개발을 위한 M&S 기술 동향을 소개한다. 먼저 모델링 단계에서 복합 시스템의 이종성을 다루기 위한 모델링 기술과 대표적인 도구를 소개하고, 다음으로 대규모 하이브리드 시스템 모델의 검증을 위한 시뮬레이션 및 정형 검증 기술과 관련 도구를 소개한다.
   1857 Downloaded 2194 Viewed
PDF
목록
Sign Up