万博1manbetx仿真软件代码检查器和Polyspace合格做下- 330

MathWorks今天宣布,它已完成的阶段参与4 (SOI-4)审计程序为飞机机载软件系统与运输加拿大、飞机的证书颁发机构。由于审计,MathWorks工具和支持数据包含在包万博1manbetx做资格工具包符合做- 330工具资格四级(TQL-4) - 331 - 178 c和做认证工作流程:

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

成功完成审计过程使组织能够获得认证信用使用MathWorks工具基于模型的设计,包括:

• 万博1manbetx仿真软件验证和确认对于跟踪自动化需求,建模标准遵从性检查和模型的报道
• 万博1manbetx仿真软件报告生成器记录设计模型

• 嵌入式编码器和万博1manbetx仿真软件代码检查器代码生成和自动化源代码的评论

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

“MathWorks一直在与主要航空公司多年来支持做- 178工作流程的自动化,包括水平,”安迪说,负责工程的副总裁MathWorks。万博1manbetx“完成SOI-4审计在TQL-4仿真软件代码检查器和Polyspace, MathWorks是一万博1manbetx个重要的里程碑。”