고신뢰 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 기술 동향을 소개한다. 먼저 모델링 단계에서 복합 시스템의 이종성을 다루기 위한 모델링 기술과 대표적인 도구를 소개하고, 다음으로 대규모 하이브리드 시스템 모델의 검증을 위한 시뮬레이션 및 정형 검증 기술과 관련 도구를 소개한다.
3186 Downloaded
2880 Viewed
Share
- Sign Up
- 전자통신동향분석 이메일 전자저널 구독을 원하시는 경우 정확한 이메일 주소를 입력하시기 바랍니다.