항공전자시스템의 안전요구사항을 입증하기 위한 방안으로 모델기반 설계기법을 활용한다. 모델기반 설계 및 검증 기법으로 초기 개발과정에서 시스템 기능별 고장과 심각도를 검토하고, 안전요구사항을 도출 할 수 있다. 그러나 모델 수준과 시뮬레이터 환경에 종속되어, 분석 범위와 테스트 케이스가 제한적인 단점이 있다. 이와 같은 단점을 보완하기 위해서, hardware-in-the loop(HILS) 기반 결함주입 시험환경 연구하였다. HILS 기반 시험환경은 주어진 모델과, 이를 분석하기 위한 하드웨어 장비를 연동하고, 하드웨어 장비 운용 중 발생하는 출력 값으로 모델 기능 분석을 분석한다. HILS 기반 결함주입 시험환경을 사용하여 IMFP의 기능고장 특성을 분석하였다.