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

随着 R155 和 ISO 21434 的发布，信息安全受到高度的重视。

面对高安全嵌入式系统存在的潜在漏洞与供应链攻击风险，Polyspace 通过形式化验证与静态分析技术，实现信息安全编码规范如CERT的检查，常见编程缺陷的查找，并证明没有运行时漏洞，并自动生成符合 ISO 21434 等行业标准合规报告，为汽车电子和航空航天等领域提供认证支持和完备的安全保障。

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