万博1manbetxSimulink代码检查器
自动化和管理源代码审查的安全标准
万博1manbetxSimulink代码检查器™ 自动将生成的代码与其源模型进行比较，以满足DO-178和其他高完整性标准中的代码审查目标。代码检查器系统地检查模型中的块、状态图、参数和设置，以确定它们在功能上是否等同于生成代码中的操作、运算符和数据。
万博1manbetxSimulink Code Inspector提供详细的模型到代码和代码到模型的可追溯性分析。它生成功能等效性和可追溯性报告，您可以提交给认证机构，以满足DO-178软件编码验证目标。它包括一个允许您检查模型兼容性和检查代码的应用程序。Co取消检查结果显示在模型和关联代码中。
万博1manbetx可通过以下途径获得对行业标准的支持：DO鉴定套件（适用于DO-178）.
“通过基于模型的设计，我们成功地进行了首次飞行；从控制或集成的角度来看，没有任何问题。使用嵌入式编码器从我们的Simulink模型生成控制律代码消除了手动代码生成导致的速度减慢，并使团队能够满足更广泛的计划目标。”万博1manbetx
迈克·博思韦尔，贝尔直升机公司
