matlab、simulink 和 polyspace 有助于保护您的系统和数据免受外部不利事件的影响。您可以将这些产品用于您的网络安全实践，以防止运营、金融、安全和隐私攻击影响系统用户。
使用 matlab、simulink 和 polyspace，您可以设计和维护安全的嵌入式系统。这些产品使您能够：
- 让安全性成为您系统的一部分
- 验证您的安全架构的有效性
- 在软件开发生命周期的早期识别潜在漏洞
- 使用分析方法提升对设计的信心
- 开发更新以应对新威胁
使用 matlab、simulink 和 polyspace 构建安全系统
分析代码的漏洞和合规性问题
不依赖人类专家和人工代码审查而评估 c/c 源代码的安全性。借助静态应用安全测试 (sast)，开发人员可以在软件开发生命周期中尽早检查针对最新安全编码标准的合规性（cert® c 和 cert c ）并避免脆弱模式 (cwe)。可以发现污染的数据、加密库的不正确使用以及保密性问题。使用基于形式化方法的代码分析分析软件的稳健性，并证明不存在严重漏洞。
了解产品
评估漏洞
对系统攻击进行建模和仿真，而不需要硬件。使用模型切片器确定已识别漏洞的影响，并轻松识别受影响的功能。运行自动硬件在环 (hil) 测试，观察特定输入对系统的影响。
添加对策
通过稳健的设计、先进的检测机制和安全控制来防止和减少潜在漏洞。了解如何应用机器学习来实现针对电子欺诈的。使用神经网络增强图像分类算法针对的稳健性。
行业标准合规性
自动化模型和代码验证，以满足 iso/sae 21434、iec-26443 和 do-326 等网络安全标准的要求。iec certification kit 提供了如何将 matlab、simulink、polyspace 和附加产品应用于 iso/sae 21434 以及功能安全标准（iso26262、iec 61508）的概述。该套件可帮助您构建并鉴定安全可靠的嵌入式系统开发流程。
了解更多