线上研讨会 | Polyspace 为高安全嵌入式系统的信息安全认证赋能

文章预览

随着 R155 和 ISO 21434 的发布，信息安全受到高度的重视。 面对高安全嵌入式系统存在的潜在漏洞与供应链攻击风险，Polyspace 通过形式化验证与静态分析技术，实现信息安全编码规范如CERT的检查，常见编程缺陷的查找，并证明没有运行时漏洞，并自动生成符合 ISO 21434 等行业标准合规报告，为汽车电子和航空航天等领域提供认证支持和完备的安全保障。 通过本次演讲，您将了解到信息安全的威胁，Polyspace 的信息安全能力以及如何使用它来满足项目的信息安全要求。 ⏰ 会议时间： 2025 年 3 月 13 日 | 14:00-15:30 📍 会议形式： 线上研讨会 ✨ 会议亮点： · 高安全嵌入式系统的信息安全威胁 · 静态分析和形式化赋能信息安全 · 集成Polyspace到信息安全开发流程 🛠️ 相关工具箱： Polyspace Bug Finder Polyspace Code Prover 📱 立即扫码注册！ 📧 如您有任何疑问， ………………………………