항공기 비행을 총괄하는 비행제어 비행운용프로그램은 대표적인 안전필수(Safty Critical) 소프트웨어로서 비행안전성을 확보하기 위해 체계적인 절차를 통해 개발된다. 국내 군감항인증기준인 MIL-HDBK-516C에서는, 소프트웨어가 최종적으로 항공기에 탑재될 때 실행이미지가 정확하고 손상되지 않음을 검증해야하는 기준을 요구하고 있다. 이러한 감항인증기준을 충족하기 위해 OFP 로딩단계에서 손상을 탐지하는 기능을 내장하여 무결성을 검증하도록 OFP 실행이미지 무결성을 위한 처리방법에 대한 연구가 요구된다. 본 논문에서는 ELF 파일과 바이너리 이미지에 CRC-32 알고리즘을 적용하여 OFP 무결성 검사를 수행하기 위해 빌드단계에서 ELF 파일을 바이너리 이미지로 변환하는 방법에 대해 기술하였다.