Specification of AWES(Auto Warning/Ejection System) with STATEMATE

STATEMATE를 이용한 AWES(Auto Warning/Ejection System)명세

공군에서 전투기 사고는 적은 비율이지만 계속적으로 발생한다. 이 시스템의 명세 목적은 사람이 결심하여 전투기에서 비상탈출 하는 것에 컴퓨터의 역할을 추가하여 조종사의 생존 가능성을 높이는데 있다. 사람은 모든 감각기관을 통하여 미래의 상황을 예견할 수 있는 능력이 있는 반면, 착각 등을 통하여 실수를 포함하는 행위를 할 수도 있고, 비상탈출을 결심하였다고 하더라도 전투기 기동이 매우 급변하여 반드시 비상탈출을 성공한다고 볼 수 없다. 그래서, 기존에 장치되어 있는 측정장치들을 이용하여, 비 정상적인 워치에 전투기가 위치했을 때는 Warning을 하고, 명백하게 비상탈출 하여야할 겅우가 발생했을 때는 자동으로 비상탈출을 실행하는 System을 명세하였다. AWES(Auto Warning/Ejection System)은 Safety-Critical System의 일종이라 할 수 있다. 그래서, 개발 초기 단계부터 정형기법(format methods)에 기반하여 개발되어야 한다. 본 논문에서는 Reactiv system의 행위적인 면을 명세하는데 장점을 가지는 Statecharts를 이용하였으며, STATEMATE라는 도구로 AWES(Auto Warning/Ejection System)을 명세하였다.