Correctness by Construction Improvement for Reactive System

반응형 시스템 개발을 위한 Correctness by Construction 개선

  • Published : 2012.06.22

Abstract

안전, 보안 필수 시스템들과 같이 정확성(Correctness)와 고 무결성(High-Integrity)이 필수인 시스템 개발을 위해 오류의 근원인 결점들을 초기에 제거하고 예방하는 Correctness by Construction 개발방법론이 제시되었다. 하지만 Correctness by Construction 방법론에서 제어정보를 표현하는 액티비티가 존재 하지 않아 반응형 시스템과 같이 제어부분이 중요한 시스템에 적용하기가 쉽지 않다. 본 논문에서는 Correctness by Construction프로세스에 제어 정보을 명세, 개발하는 프로세스를 추가한 Correctness by Construction 프로세스를 제안한다. 또한 철도제어 시스템 중 거리제어모듈 개발에 적용을 하여 사례 연구를 수행한다.

Keywords