Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2012.11a
  • /
  • Pages.1551-1554
  • /
  • 2012
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Automatic Test Scenario Generator for OSEK/VDX-based Automotive Operating Systems

OSEK/VDX 기반 전장용 운영체제의 안전성 검증을 위한 자동 테스트 시나리오 생성기

  • 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)
  • 변태준 (경북대학교 IT 대학 컴퓨터학부) ;
  • 최윤자 (경북대학교 IT 대학 컴퓨터학부)
  • Published : 2012.11.22
Download PDF
⟨ Previous Next ⟩

Abstract

차량전장용 운영체제는 안전중요(safety-critical) 소프트웨어로써 엄밀한 검증과 테스트를 필요로 한다. 엄밀한 검증은 시스템의 모든 사용 가능한 시나리오의 도출을 필요로 하며, 이것을 수작업으로 생성하는 데에는 비용과 효율성에 문제가 있다. 본 연구에서는 차량전장용 운영체제의 국제표준인 OSEK/VDX 에 명시된 제약사항을 고려한 테스트 시나리오 자동 생성기와 이를 보조하는 OSEK/VDX 시뮬레이터를 개발하여 테스트 효율의 향상과 자동화를 도모하였다. 개발된 도구는 OSEK/VDX 기반 개방형 운영체제인 Trampoline 에 적용하여 효과를 입증하였다.

Keywords