功能安全标准

通过MATLAB和Simulink，工程团队可以加快产品开发，同时确保符合最严格的安全标准要求，如ISO 26262、IEC 61508、EN 50128、EN 50657、IEC 62304、ISO 25119、DO-178C和DO-254。

DO资格认证工具包和IEC认证工具包提供了参考工作流和指南，使您能够在整个过程模型中满足安全标准的要求。

这些工具包提供了有关方法和工具用例的指导，您可以在系统、硬件和软件级别使用这些方法和工具，包括规范、设计、实现、验证和验证活动。基于模型的设计的验证和确认涵盖了从验证软件单元到验证系统需求的活动。使用基于模型的设计仿真功能，您甚至可以在最终实现或生产性硬件可用之前，将这些验证和验证活动中的大部分转移到左侧。

系统级的概念和开发活动

使用基于模型的设计，您可以使用System Composer、Simulink、Simscape以及Simulink中的验证和验证工具，以概念化、指定、设计、开发、验证和验证您的电气和/或电子（E/E）系统，包括：

• 的规范系统安全和非安全要求
• 开发和规范建筑设计具有对系统需求的后向可追溯性，以及对单个学科（硬件和软件）的前向可跟踪性
• 早期验证和确认系统需求和系统设计
• 系统快速原型制作和系统级硬件在线测试

Simulink实时快速控制原型(4:50)

软件级开发活动

工程师使用基于模型的设计开发嵌入式软件，以满足认证标准

• 的规格软件安全和非安全要求
• 开发软件体系结构分别对软件需求和软件元素具有向后和向前可追溯性的设计
• 软件单元的设计和实施，没有或具有自动代码生成功能
• 软件组件的设计、实施和集成，包括从软件组件模型
• 静态和动态验证软件单元、软件组件和完全集成的嵌入式软件

支持流程

除了工程过程之外，基于模型的设计还提供了与支持过程相关的几个功能。

• 配置和更改管理
• 持续集成/持续部署（CI/CD）
• 工具鉴定
• 文档和报告生成