筑起功能安全的堡垒 - 基于模型设计的软件开发

概述

本次研讨会主要介绍如何利用MathWorks相应的代码生成和测试验证工具进行符合功能安全标准的软件开发,并介绍功能安全软件认证相关内容 

功能安全目前是汽车，航空航天，轨道交通，工业控制等高安全标准领域开发应考虑的内容，高安全性高完整性软件可以通过基于模型设计的方法进行开发，在开发过程中使用经过认证的开发和验证工具箱，满足功能安全在不同阶段所要求的目标。

亮点包括

• 模型架构设计和管理
• 模型测试和验证
• 产品代码生成及代码测试和验证
• MathWorks代码生成及验证工具认证

• 功能安全软件应用要求和评估准则

• 功能安全软件方面认证要求和常见问题

• 功能安全常见误区和规避策略

关于演示者

郭文彦，MathWorks 中国高级应用工程师，专注于基于模型设计在控制领域的工程应用，西北工业大学控制理论与工程硕士学位，拥有十余年控制系统开发、设计与仿真、测试验证的工程经验；曾采用基于模型的设计方法进行符合航空高安全标准的波音和空客民用航空子系统机载软件的开发和验证，且通过DO-178B认证。