Polyspace为高安全嵌入式系统的信息安全认证赋能

概述

随着R155和ISO 21434的发布，信息安全受到高度的重视。面对高安全嵌入式系统存在的潜在漏洞与供应链攻击风险，Polyspace通过形式化验证与静态分析技术，为汽车电子和航空航天等领域提供完备的安全保障。深度分析和证明软件的运行时错误，验证加密协议与安全启动机制，并自动生成符合ISO 21434等行业标准合规报告。

通过本次演讲，你将了解到信息安全的威胁，Polyspace的信息安全能力以及如何使用他来满足项目的信息安全要求。

亮点包括

高安全嵌入式系统的信息安全威胁

静态分析和形式化赋能信息安全

• Polyspace信息安全
• 为什么信息安全需要形式化证明
• 形式化保信息安全护航

集成Polyspace到信息安全开发流程

• 模型阶段和编码阶段的早期验证
• 持续验证信息安全需求

关于演示者

胡乐华，MathWorks中国高级应用工程师，专注于Polysppace和MBD在汽车和航空等高安全行业的应用，在模型和代码生成及验证,软件静态分析等方面，有丰富的经验。加入MathWorks之前，曾就职于霍尼韦尔和中航工业，从事机载软件和系统仿真和研发方面的工作。