Simulink Code Inspector™自动将生成的代码与其源模型进行比较,以满足DO-178和其他高完整性标准中的代码评审目标。代码检查器系统地检查模型中的块、状态图、参数和设置,以确定它们在功能上是否等同于生成代码中的操作、操作符和数据。
Simulink Code Inspector提供了详细的模型到代码和代码到模型的可追溯性分析。它生成功能对等和可追溯性报告,您可以将这些报告提交给认证机构,以满足DO-178软件编码验证目标。它包括一个应用程序,让你检查模型兼容性和检查代码。代码检查结果显示在模型和相关代码中。
对行业标准的支持可通过DO检定套件(适用于DO-178).
“通过基于模型的设计,我们进行了成功的首飞;从控制或集成的角度来看,不存在任何问题。使用Embedded Coder从我们的Simulink模型生成控制法则代码,消除了手工代码生成所导致的速度减慢,并将团队解放出来,以满足更广泛的程序目标。”
迈克·博思韦尔,贝尔直升机公司