항공용 소프트웨어의 개발 및 인증은 현재까지 국내에서는 거의 경험이 없는 분야이다. 물론 각종 무인기 등의 개발사업을 통해 항공용 소프트웨어를 개발하고 시험한 사례는 다수 있으나, 체계적으로 개발 및 시험된 경우는 흔치 않다. 특히 유인기 분야에서는 거의 전무하다고 할 수 있다. KFP, KT-1, T-50 등의 군 사업을 통하여, 국외에서 개발된 소프트웨어에 대한 유지보수 경험 및 인력과, 이를 위한 체계가 구축되어 있는 정도라 할 수 있다. 이러한 상황에서, 이제는 항공용 소프트웨어를 국내에서 개발하고 시험, 인증할 수 있는 능력의 확보가 요구되고 있으며, 이는 국내 항공산업이 항공기 독자개발 능력 확보를 위해서는 필수적인 핵심기술이다. 이러한 기술력 확보를 위하여, 현재 항공용 소프트웨어 개발과 관련한 세계적인 흐름 및 최신의 기술동향을 파악하는 것이 무엇보다 필요하다. 항공선진국에서 이미 적용하지 않는 규격, 기술, 개발방식을 그대로 따라하는 과정을 거친다면, 경쟁력 확보는 요원한 일이기 때문이다. 따라서 본 논문에서는 항공용 소프트웨어 인증을 위한 규격의 역사 및 종류와, 현재 주로 적용되고 있는 DO-178B에 대한 주요 내용 및 현안에 대하여 살펴보고, 소프트웨어 개발과 관련한 소프트웨어 툴, 모델기반 개발 방식 등 해외 선진업체 및 기관들의 최신 기술동향을 정리하였다.