RTCA/DO-331标准研究

Research on RTCA/DO-331 Standard

为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》标准的补充。该文主要从DO-331文档的组织架构编排,模型的使用和分类,基于模型研制相关的软件生命周期过程、数据和符合性验证目标几个方面对其进行了提炼和解读,可帮助应用该标准的人员快速理解文档的核心内容,并把握基于模型的开发和验证相关的合格审定关注点,从而在项目实施过程中更好地表明适航符合性。

In order to facilitate the progress of the Model-Based Development and Verification （ MB） technology, and also provide the certification guidance for the airborne software MB activities, Radio Technical Commission for Aeronautics （ RTCA） released DO-331 Model-Based Development and Verification standard,as a supplement document to the DO-178C Software Considerations in Airborne Systems and Equipment standard in 2011. This Paper provides the abstraction and explanation for the DO-331 from the aspects of its structure organization, models usage and category, MB related software lifecycle processes, data and certification objectives, which can help people who use this standard understand its core content quickly and capture the certification concerns of MB, therefore demon-strate the certification compliance well during the program implementation process.