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

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

DOI QR Code

Task Simulation Model-based Tool For The Verification Of Software Application On Automotive Control Software

차량 전장용 제어 소프트웨어 응용프로그램의 검증을 위한 모델 기반 Task Simulation 도구

  • Lee, Sukyung (School of Computer Science and Engineering, Kyungpook National University) ;
  • Kim, Dongwoo (School of Computer Science and Engineering, Kyungpook National University) ;
  • Choi, Yunja (School of Computer Science and Engineering, Kyungpook National University)
  • Published : 2015.10.28
Download PDF
⟨ Previous Next ⟩

Abstract

차량 전장용 소프트웨어는 자동차 전자 장비들을 제어하는 만큼 그 정확성과 안전성이 검증되어야 한다. 본 연구에서는 차량 전장용 제어 소프트웨어의 제어논리가 프로그래머가 의도한 데로 구성되어 있는지를 코딩단계에서 실험하고 가시화하는 도구를 개발하였다. 이를 위해 제어 소프트웨어와 함께 컴파일될 전장용 운영체제의 정형 모델을 구축하고 운영체제 구현과는 독립적으로 제어 프로그램에서 정의된 Task들의 수행 순서를 모의 실험하여 차량 전장용 운영체제의 Task 상태 변화를 확인할 수 있도록 하였다. 임의 생성된 제어프로그램 코드와 실제 차량 전장용 제어프로그램 코드에 개발된 도구를 적용하여 그 효용성을 확인하였다.

Keywords