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

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

정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.2, pp.90 - 94

ISSN
1229-7712
URI
http://hdl.handle.net/10203/190581
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0