A case study on timing constraints verification for a safety-critical. real-time system

안전성이 중요한 실시간 시스템의 시간 제약성 검증에 관한 사례 연구

  • 최진호 (한국과학기술원 전산학과) ;
  • 지은경 (한국과학기술원 전산학과) ;
  • 김현정 (한국과학기술원 전산학과) ;
  • 배두환 (한국과학기술원 전산학과)
  • Published : 2011.06.29

Abstract

안전성이 중요한 실시간 내장형 시스템인 유도조종장치에서 시간 제약성을 만족하는 것은 매우 중요한 문제이다. 기존 유도조종장치 소프트웨어 개발에서는 주로 테스트 단계에서 시간 제약성 만족을 확인한다. 하지만 이 방법은 늦은 오류의 발견으로 인해 전체 소프트웨어 개발 비용이 커질 가능성이 있다. 이러한 단점을 극복하기위해 본 논문에서는 설계 단계에 정형 기법을 적용하여 유도조총장치 소프트웨어의 시간 제약성을 검증하고자 한다. 이를 위해서 실시간 시스템에 대한 모델링과 검증을 지원하는 TIMES 도구를 유도조종장치 소프트웨어 설계에 적용하는 사례 연구를 수혈하고 그 결과를 분석 및 평가하였다.

Keywords

Acknowledgement

Supported by : 국방과학연구소