타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성 (Systematic Generation of VxWorks-based Code from Timed Automata Models)

서지정보

· 발행기관 : 한국정보과학회
· 수록지 정보 : 정보과학회 컴퓨팅의 실제 논문지 / 19권 / 2호 / 90 ~ 94페이지
· 저자명 : 최진호, 지은경, 배두환

초록

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

영어초록

The TIMES tool supports timed automata- driven development by supporting system specification, simulation, verification, and code-generation for BrickOS platform. BrickOS-based code is not suitable for being used in the development of hard real-time systems because it does not satisfy hard real-time constraints. To tackle this problem, we propose four guidelines for generating platform-based code from BrickOS-based code. The proposed guidelines convert BrickOS-dependent code into VxWorks-based code while utilizing platform- independent code as it is. We conduct a case study for cruise control system software to demonstrate that the generated VxWorks-based code executes in a real-time embedded system environment as specified in timed automata models.

참고자료

· 없음