在汽车、航空航天、工业自动化和机械工业中开发高完整性系统的特点是证明符合功能安全的国际标准。
开发符合功能安全标准的嵌入式软件的工程师报告说,使用基于模型的设计:
- 缩短开发和认证时间
- 使他们能够识别建模阶段的大多数错误
- 提高核心模型的可重用性
获取开发和验证过程中每个步骤的详细指导。MathWorks工程师可以帮助您应用基于模型的设计,以符合行业标准,如IEC 61508、DO-178C和ISO 26262。
从需求验证到代码验证,包括工具独立性路径,请就您的验证过程请求免费的初始咨询。了解如何使用MATLAB中基于模型的设计来使用仿真、代码和模型验证以及代码生成来演示标准的遵从性®和Sim金宝appulink®.
咨询MathWorks工程师,学习如何:
- 自动执行手动步骤,检查是否符合标准,如IEC 61508、DO-178C和ISO 26262
- 捕获需求并建立需求、设计、测试和代码之间的可追溯性
- 使用静态分析和形式化方法检查模型和代码的符合性
- 自动生成硬件的生产代码
- 根据您的标准要求鉴定工具