자동차 분야에서 자동차의 엔진, 변속기, 조향장치, 제동장치, 현가장치 등 핵심 기계장치들을 좀 더 정교하게 제어하기 위한 전자제어장치의 역할이 우리가 살아가고 있는 21세기 이 시대에는 점점 더 중요해지고 그 비중도 커지고 있습니다. 그리고 자동차 부품 중에서 전자제어장치의 개수는 줄어들고 있지만 기능은 늘어남으로 전자제어장치의 복잡도는 자연히 증가하고 있습니다. 이 때문에 자동차에서 소프트웨어에 대한 중요성도 높아지고 표준화에 대한 논의도 활발해지고 있습니다. 대표적으로 OS를 포함한 소프트웨어 플랫폼을 표준화한 OSEK/VDX, 차량용 미들웨어인 AUTOSAR 등이 그 결과물에 해당합니다.

​

특히 최근에는 자동차와 IT 기술을 접목한 인포테인먼트 시스템이나 지능형 자동차 등의 개발이 활발해지면서 국제적으로 전기/전자시스템(E/E System)의 해저드(Hazard)가 발생에 따른 위험(Risk)을 최소화하기 위한 ISO26262 표준을 준수하도록 요구되고 있습니다. 이에 따라 시스템 및 소프트웨어의 안전성 확보가 매우 중요한 이슈로 주목받고 있으며 이를 위해 체계적이고 검증된 소프트웨어 검증이 필요합니다.