타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성

Abstract

타임드 오토마타 모델 기반 개발 방법을 지원하는 TIMES 도구는 실시간 소프트웨어에 대한 모델 명세, 시뮬레이션, 검증, BrickOS 기반 코드 생성 기능을 가진다. BrickOS 기반 코드는 엄격한 실시간 제약성을 만족하지 않아서 실시간 속성 만족이 중요한 시스템 개발에 BrickOS 기반 코드를 그대로 사용할 수 없다. 본 논문에서는 실시간 내장형 소프트웨어 개발을 위해서 TIMES 도구를 활용하여 타임드 오토마타 모델로부터 BrickOS 이외의 플랫폼 기반 코드를 생성하기 위한 방안을 제안한다. BrickOS 플랫폼 독립적인 코드는 그대로 활용하면서 플랫폼 의존적인 코드들을 대상 플랫폼으로 변환시키는 가이드라인을 제안한다. 정속 주행 장치 소프트웨어 사례 연구에서 제안 가이드라인을 통해 생성된 VxWorks 기반 코드가 모델 명세대로 내장형 시스템에서 정상적으로 동작함을 확인하였다.