본 논문은 항공기용 전자장비 및 시스템에서 운영체제가 필요하게 된 배경에 대해서 소개하고, 그 운영체제가 갖추어야 하는 신뢰성 표준인 DO-178 및 그 표준의 요구사항을 포괄하는 구체적인 시스템 표준인 ARINC 653을 소개하였다. 또한 ARINC 653이 제시하는 항공기용 운영체제의 준수사항을 범용 운영체제인 Linux와 비교함으로써, 항공기용 운영체제와의 유사점 및 차별점을 확인하였다.