基于DO-178C/331的飞控软件研发环境的研究

第一章 绪论

1.1 研究背景

随着现代航空技术的发展，民用飞机的设计和开发变得愈发复杂，尤其是软件在飞机设计中的比重不断增加。传统的设计方法难以满足民用飞机系统的适航和高安全性要求，尤其是飞控系统的开发面临着开发周期长、故障多、成本高等问题。为了保证飞控系统的安全性和可靠性，DO-178C和DO-331等国际标准应运而生，这些标准为航空业的软件开发和验证提供了严格的框架，以确保软件开发能够符合适航标准。

本研究提出基于模型的系统工程方法（MBSE），并且以DO-178C/331为基础，进行飞控系统的开发和验证，以提高开发效率、减少故障、降低成本。这一研究旨在为复杂的航空软件系统找到一条高效且符合适航要求的开发路径。

1.2 国外研究现状

1.2.1 基于MBSE框架的航空电子系统开发

国外的研究主要集中在基于MBSE框架的航空电子系统开发上。MBSE通过使用模型替代传统的文本文件，可以更好地进行需求分配、设计和验证。Tang J等人提出了敏捷MBSE框架，该框架能够迅速响应需求变化，并实现高效的模型迭代。敏捷MBSE方法可以在飞机子系统中实时检测和修复不完整或错误的功能定义，从而提高了开发效率。

1.2.2 基于Simulink