정보과학회 논문지 C : 컴퓨팅의 실제
Current Result Document :
| 한글제목(Korean Title) |
타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성 |
| 영문제목(English Title) |
Systematic Generation of VxWorks-based Code from Timed Automata Models |
| 저자(Author) |
최진호
지은경
배두환
Jinho Choi
Eunkyoung Jee
Doo-Hwan Bae
|
| 원문수록처(Citation) |
VOL 19 NO. 02 PP. 0090 ~ 0094 (2013. 02) |
한글내용
(Korean Abstract) |
타임드 오토마타 모델 기반 개발 방법을 지원하는 TIMES 도구는 실시간 소프트웨어에 대한 모델 명세, 시뮬레이션, 검증, BrickOS 기반 코드 생성 기능을 가진다. BrickOS 기반 코드는 엄격한 실시간 제약성을 만족하지 않아서 실시간 속성 만족이 중요한 시스템 개발에 BrickOS 기반 코드를 그대로 사용할 수 없다. 본 논문에서는 실시간 내장형 소프트웨어 개발을 위해서 TIMES 도구를 활용하여 타임드 오토마타 모델로부터 BrickOS 이외의 플랫폼 기반 코드를 생성하기 위한 방안을 제안한다. BrickOS 플랫폼 독립적인 코드는 그대로 활용하면서 플랫폼 의존적인 코드들을 대상 플랫폼으로 변환시키는 가이드라인을 제안한다. 정속 주행 장치 소프트웨어 사례 연구에서 제안 가이드라인을 통해 생성된 VxWorks 기반 코드가 모델 명세대로 내장형 시스템에서 정상적으로 동작함을 확인하였다.
|
영문내용
(English Abstract) |
The TIMES tool supports timed automatadriven 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 platformindependent 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.
|
| 키워드(Keyword) |
타임드 오토마타 모델
실시간 내장형 소프트웨어
코드 생성
timed automata
real-time embedded software
code generation
|
| 파일첨부 |
PDF 다운로드
|
