Simulink Code Inspector 自动将生成的代码与其源模型进行比较,以满足 DO-178 及其他高完整性标准中的代码审查目标。该代码检查器会系统地检查模型中的模块、状态图、参数和设置,以确定它们在功能上是否与所生成代码中的运算、运算符和数据等效。
Simulink Code Inspector 提供详细的模型到代码以及代码到模型可追溯性分析。它会生成功能等效及可追溯性报告,您可以将这些报告提交给认证机构,以满足 DO-178 软件编码验证目标。它提供一个 App,可用于检查模型兼容性并检查代码。代码检查结果显示在模型和关联代码中。
配合 DO Qualification Kit (for DO-178),该产品还可实现对行业标准的支持。
“利用基于模型的设计,我们成功地进行了首飞,控制和集成方面都没有任何问题。我们使用 Embedded Coder 从 Simulink 模型生成控制律代码,不再因手动生成代码而拖慢进度,让团队有更多时间着眼于整个项目在更高层面的目标。”