小迈步之行业规范：基于模型设计开发符合功能安全要求软件

概述

高完整性应用领域的软件复杂度不断提升，高效开发符合功能安全要求的软件成为迫切需求，智能互联的趋势又加强了预期功能安全和网络完全的重要性。基于模型设计平台提供的可执行规范仿真、自动代码生成技术、系统化的验证方法是应对的有效设计模式。

本次微直播针对关注功能安全的用户，将以ISO 26262：2018版标准为例介绍如何采用基于模型设计开发符合功能安全要求的软件，涵盖从需求管理、架构设计、单元设计与验证、集成验证与嵌入式软件测试等各阶段的主要活动、验证方法、基于模型设计平台的工具对应等以及软件开发过程中所采用工具的评级和鉴定方法。

亮点

• 功能安全与预期功能安全、网络安全的关系
• ISO 26262参考流程和基于模型设计的方法对应
• 软件开发工具的评级和鉴定方法

关于演示者

龚小平，MathWorks高级应用工程师，主要负责基于模型的设计和系统工程在汽车行业的推广和应用，有多年的汽车电控系统和软件开发经验，2006年硕士毕业于同济大学车辆工程系。