한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2012년도 추계학술발표대회
- /
- Pages.1551-1554
- /
- 2012
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
OSEK/VDX 기반 전장용 운영체제의 안전성 검증을 위한 자동 테스트 시나리오 생성기
Automatic Test Scenario Generator for OSEK/VDX-based Automotive Operating Systems
-
Byun, Taejoon
(School of Computer Science and Engineering, College of IT engineering Kyungpook National University) ;
-
Choi, Yunja
(School of Computer Science and Engineering, College of IT engineering Kyungpook National University)
- 발행 : 2012.11.22
초록
차량전장용 운영체제는 안전중요(safety-critical) 소프트웨어로써 엄밀한 검증과 테스트를 필요로 한다. 엄밀한 검증은 시스템의 모든 사용 가능한 시나리오의 도출을 필요로 하며, 이것을 수작업으로 생성하는 데에는 비용과 효율성에 문제가 있다. 본 연구에서는 차량전장용 운영체제의 국제표준인 OSEK/VDX 에 명시된 제약사항을 고려한 테스트 시나리오 자동 생성기와 이를 보조하는 OSEK/VDX 시뮬레이터를 개발하여 테스트 효율의 향상과 자동화를 도모하였다. 개발된 도구는 OSEK/VDX 기반 개방형 운영체제인 Trampoline 에 적용하여 효과를 입증하였다.
키워드