<p>전자제어기의 발전은 그 구조의 복잡함으로 SW의 알고리즘 신뢰성 뿐만 아니라 FPGA 와 같은 프로그램이 포함되는 HW에 대해서도 신뢰성을 개발 단계에서부터 요구하고 있다. 전자제어기의 하드웨어로서 FPGA는 개발 요구에 따른 기능 및 성능을 제작이 완료 상태 등 전순기 동안 안전성에 대한 신뢰도를 요구하고 있다. 개발 단계에서의 신뢰성은 차량의 ISO26262 와 미국의 항공전자제어장치에 대해 DO-178 과 DO-254 개발 규격으로 정립되어지고 있으며, 항공전자 분야에서는 이러한 개발 단계를 거쳐 개발되었는지 확인하는 인증단계를 두고 있다. 본 연구에서는 국내에서도 항공전자분야의 제품 개발사업으로 이러한 개발 단계에서 요구하는 FPGA 프로그램에 대한 하드웨어 및 시뮬레이션 점검방안을 제시하고자 한다.</p>