万博1manbetxSimulink代码检查员
自动化和管理安全标准的源代码审查
万博1manbetxSimulink代码Inspector™将生成的代码与其源模型进行了比较,以满足Do-178和其他高完整标准的代码审查目标。代码检查员系统地检查模型中的块,状态图,参数和设置,以确定它们是否在功能上等同于生成代码中的操作,运营商和数据。
万博1manbetxSimulink代码检测器提供了详细的模型 - 代码和代码到模型可追溯性分析。它生成功能等效性和可追溯性报告,您可以提交给认证机构以满足DO-178软件编码验证目标。它包括一个应用程序,可允许您检查模型兼容性并检查代码。代码检测结果显示在模型和关联的代码中。
万博1manbetx通过支持行业标准做资格套件(DO-178)。
“基于模型的设计,我们的第一次飞行成功;控制或集成角度没有问题。通过嵌入式编码器生成来自我们的Simulink模型的控制法代码,消除了由手动代码生万博1manbetx成引起的减速,并将团队释放到满足更广泛的计划目标。“
Mike Bothwell,贝尔直升机