使用基于模型的设计开发DO-178兼容软件的最佳实践

作者:Raymond G. Estrada, Jr.， Eric Dillaber, Gen Sasaki, MathWorks

具有自动代码生成功能的基于模型的设计是开发嵌入式控制系统的一种既定方法，目前普遍用于必须满足商用航空软件标准DO-178B的应用程序。基于模型的设计使工程师能够使用可执行的模型作为设计、仿真和软件验证和验证的基础来创建高级嵌入式软件系统。现代航空航天系统的复杂性导致在整个软件开发生命周期中，从早期验证到实现和系统集成，越来越多地使用基于模型的设计。本文提出了一套对成功完成DO-178B和认证项目至关重要的最佳实践使用基于模型的设计。

这篇论文发表在AIAA Infotech@Aerospace会议上。