현대 항공기에 탑재되는 소프트웨어는 다양한 기능이 요구됨에 따라 소프트웨어 복잡도가 증가하고 있다. 특히 항공전자 시스템은 항공기 타 계통보다 급속히 발전하고 있으며, 많은 기능이 통합되어 있어 소프트웨어 개발 기간 및 비용이 매우 증가하고 있다. 이러한 환경을 개선하기 위해 재사용이 가능한 개방형 소프트웨어 개발 기술이 실제 항공전자 소프트웨어 개발에 적용되고 있는 추세이다. 본 논문에서는 개방형 소프트웨어를 개발하기 위해 모델 기반의 개발 및 검증 프로세스를 지원하는 SCADE 도구를 활용하여 개방형 소프트웨어 설계 방안을 제안한다. 또한 ARINC 661 표준 규격을 적용한 조종석 디스플레이 소프트웨어를 개발하여 재사용성과 확장성을 확보하고 자동코드 생성 기술 및 DO-178C를 만족하는 검증프로세스를 수행하여 높은 신뢰성을 가지는 소프트웨어 개발하였다.
The software complexity of modern aviation software is increasing as many functions are required. In particular, the avionics system is developing more rapidly than other aircraft systems, and many functions are being integrated, so the software development period and cost are greatly increasing. In order to improve this environment, reusable open software development technology is being applied to actual avionics software development. In this paper, we propose a development and verification process using the SCADE tool that supports the model-based development and verification process to develop open software. In addition, the cockpit display software applied with the ARINC 661 standard is developed to secure re-usability and scalability, and software with high reliability is developed by performing automatic code generation technology and a verification process that satisfies DO-178C.