BROWSE
Detail
Conference Paper
OSEK/VDX 기반 차량전장용 소프트웨어 안전성 검증기법
Cited - time in 
Share 
Share
- Issue Date
- 2010-11
- Citation
- 한국자동차공학회 학술 대회 2010, pp.2186-2189
- Publisher
- 한국자동차공학회
- Language
- Korean
- Type
- Conference Paper
- Abstract
- 차량전장용 시스템에서 소프트웨어가 차지하는 비율이 최대 85%에 이르고 있음에 따라, 전장용 소프트웨어의 안전성이 차량의 안전성에 미치는 영향 또한 증가일로에 있다. 하드웨어 안전성에 대한 표준과 검증절차, 검증방식 등은 표준화되어 있으나, 소프트웨어 안전성에 대한 인식과 분석 절차, 방법에 대한 체계적인 접근방식이 정립되어 있지 못한 상황이다. 본 연구에서는 OSEK/VDX 기반 차량전장용 소프트웨어를 사례로 하여 (1) 안전 요구사항의 도출과정을 보이고, (2) 분석된 안전요구사항을 적용 가능한 검증방식에 따라 분류, (3) 검증 기법을 적용하여 잠재적인 안전성 문제를 검출하는 과정을 보였다. 제안된 방식은 일반적인 내장형 소프트웨어의 안전성 검증에 확장ㆍ적용될 수 있다.