万博1manbetxSimulink代码检查员

重大更新

万博1manbetxSimulink代码检查员

自动化和管理安全标准的源代码审查

准备代码生成和检查模型

通过运行模型兼容性检查,准备使用模拟码Inspector。万博1manbetx结果直接显示在可以应用修复的Simulink代码检查器应用中。万博1manbetx

从模型生成代码

使用嵌入式编码器™从您的模型中生成代码。

检查代码和检查结果

检查生成的代码是否符合模型。结果可直接在应用程序中获得。

生成报告和可跟踪矩阵

使用该应用程序生成代码检查和可追溯性报告。

“基于模型的设计,我们的第一次飞行成功;控制或集成角度没有问题。通过嵌入式编码器生成来自我们的Simulink模型的控制法代码,消除了由手动代码生万博1manbetx成引起的减速,并将团队释放到满足更广泛的计划目标。“

Mike Bothwell,贝尔直升机

对Simulink代码检查器万博1manbetx感兴趣?