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