金宝appSimulink代码检查器和Polyspace符合DO-330标准

MathWorks今天宣布，该公司已经完成了参与阶段4 (SOI-4)的审计，该审计项目涉及飞机系统的机载软件，由加拿大运输局(该飞机的认证机构)负责。作为审计的结果，MathWorks工具和支持的数据包包含在金宝app做资格工具包符合DO-330 Tool Qualification Level 4 (TQL-4)的DO-178C和DO-331认证工作流程:

• 合格的模型验证
• 合格的代码生成和验证

成功完成审核过程允许组织使用MathWorks工具获得认证学分基于模型的设计,包括:

• 金宝appSimulink验证和验证用于自动化需求跟踪、建模标准遵从性检查和模型覆盖
• 金宝app仿真软件报告生成器用于记录设计模型

• 嵌入式编码器和金宝app仿真软件代码检查器用于生成代码和自动化源代码审查

• Polyspace错误发现者和Polyspace代码验证用于手写和生成代码的正式验证

MathWorks的工程副总裁Andy Grace说:“多年来，MathWorks一直与领先的航空航天公司合作，支持DO-178工作流程的自动化，包括A金宝app级。“完成Simulink Code Inspector和Polyspace的TQL-4的SOI-4金宝app审计，是MathWorks的一个重要里程碑。”