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

홈 > 연구문헌 > 학술대회 프로시딩 > 한국정보처리학회 학술대회 > 2015년 추계 학술대회

한글제목(Korean Title)	차량 전장용 제어 소프트웨어 응용프로그램의 검증을 위한 모델 기반 Task Simulation 도구
영문제목(English Title)	Task Simulation Model-based Tool For The Verification Of Software Application On Automotive Control Software
저자(Author)	이수경 김동우 최윤자 Sukyung Lee Dongwoo Kim Yunja Choi
원문수록처(Citation)	VOL 22 NO. 02 PP. 0962 ~ 0965 (2015. 10)
한글내용 (Korean Abstract)	차량 전장용 소프트웨어는 자동차 전자 장비들을 제어하는 만큼 그 정확성과 안전성이 검증되어야 한다. 본 연구에서는 차량 전장용 제어 소프트웨어의 제어논리가 프로그래머가 의도한 데로 구성되어 있는지를 코딩단계에서 실험하고 가시화하는 도구를 개발하였다. 이를 위해 제어 소프트웨어와 함께 컴파일될 전장용 운영체제의 정형 모델을 구축하고 운영체제 구현과는 독립적으로 제어 프로그램에서 정의된 Task들의 수행 순서를 모의 실험하여 차량 전장용 운영체제의 Task 상태변화를 확인할 수 있도록 하였다. 임의 생성된 제어프로그램 코드와 실제 차량 전장용 제어프로그램 코드에 개발된 도구를 적용하여 그 효용성을 확인하였다.
영문내용 (English Abstract)
키워드(Keyword)
파일첨부	PDF 다운로드