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