Simulink Code Inspector™自动将生成的代码与其源模型进行比较，以满足DO-178和其他高完整性标准中的代码评审目标。代码检查器系统地检查模型中的块、状态图、参数和设置，以确定它们在功能上是否等同于生成代码中的操作、操作符和数据。
Simulink代码检查器提供了详细的模型到代码和代码到模型的可追溯性分析。它生成功能等价性和可追溯性报告，您可以将这些报告提交给认证机构，以满足DO-178软件编码验证目标。它包含一个应用程序，可以让您检查模型兼容性和检查代码。代码检查结果显示在模型和相关的代码中。
对行业标准的支持可通过DO认证套件(适用于DO-178)．
“通过基于模型的设计，我们获得了成功的首飞;从控制或集成的角度来看，没有任何问题。用嵌入式编码器从我们的Simulink模型中生成控制律代码消除了手工代码生成造成的速度变慢，使团队得以自由地工作，以满足更广泛的程序目标。”
迈克·博思韦尔，贝尔直升机
有问题吗?
接下来是什么?
- 178 c工作流吗
查看具有合格代码生成的DO-178C工作流。
- 178年案例吗
了解如何在DO-178项目中使用MathWorks toolbx。
DO-178认证咨询服务
与MathWorks Consulting一起迁移您现有的软件开发过程。
您也可以从以下列表中选择网站: