嵌入式系统安全

MATLAB、Simulink 和 Polyspace 在嵌入式系统安全领域的应用

使用基于模型的设计构建和维护安全产品

索取报价

联系销售人员

MATLAB、Simulink 和 Polyspace 有助于保护您的系统和数据免受外部不利事件的影响。您可以将这些产品用于您的网络安全实践，以防止运营、金融、安全和隐私攻击影响系统用户。

使用 MATLAB、Simulink 和 Polyspace，您可以设计和维护安全的嵌入式系统。这些产品使您能够：

让安全性成为您系统的一部分
验证您的安全架构的有效性
在软件开发生命周期的早期识别潜在漏洞
使用分析方法提升对设计的信心
检测对您系统的攻击
开发更新以应对新威胁

使用 MATLAB、Simulink 和 Polyspace 构建安全系统

应对嵌入式系统设计中的网络安全挑战

保障嵌入式软件安全可靠的 7 个方法

面向适航安全合规的基于模型的设计 | 下一代航空航天系列

通过完全可追溯性管理网络安全目标

获取您的系统级安全架构，并分配您的安全目标。与您的架构、设计、生成的代码和测试工件一起编写和管理需求。数字线索使您能够在从高层次需求到实现的整个过程中保持设计的一致性、识别实现或测试缺口和实现完全可追溯性。快速了解设计更改的影响，并为审核生成验证和确认报告。

了解产品

视频

从需求角度处理需求和设计

安全建模和代码生成

对您的模型运行早期检查，以避免使用与安全目标相冲突的模块，并设置代码生成器以获得最高的合规级别。在生成代码之前，使用形式化方法尽早发现并修复漏洞。通过高效安全的代码生成部署和更新您的实现。

了解产品

分析代码的漏洞和合规性问题

不依赖人类专家和人工代码审查而评估 C/C++ 源代码的安全性。借助静态应用安全测试 (SAST)，开发人员可以在软件开发生命周期中尽早检查针对最新安全编码标准的合规性（CERT^® C 和 CERT C++）并避免脆弱模式 (CWE)。扩展的安全检查可以发现污染的数据、加密库的不正确使用以及保密性问题。使用基于形式化方法的代码分析分析软件的稳健性，并证明不存在严重漏洞。

了解产品

Polyspace

应对嵌入式系统设计中的网络安全挑战

识别和评估漏洞

对系统攻击进行建模和仿真，而不需要硬件。结合使用强化学习和数字孪生来对系统的攻击并识别漏洞。使用模型切片器识别受影响的功能。运行自动硬件在环 (HIL) 测试，观察特定输入对系统的影响。

了解产品

视频

使用 Reinforcement Learning Toolbox 进行 5G 漏洞分析 (19:35)

检测对嵌入式系统的攻击

了解如何应用机器学习来实现针对电子欺诈的入侵检测系统 (IDS)。使用分布式水印保护您的控制回路免受重放攻击和中间人攻击。使用线性代数和机器学习识别及避开网络攻击。

了解产品

添加对策

通过稳健的设计、先进的检测机制和安全控制来防止和减少其余的弱点。实现"安全状态估计以增加对系统输入的欺诈攻击的应对能力。使用神经网络增强图像分类算法针对对抗攻击的稳健性。

了解产品

视频

传感器欺诈：攻击、后果和对策 (12:37)

行业标准合规性

自动化模型和代码验证，以满足 ISO/SAE 21434、IEC 62443 和 DO-326 等网络安全标准的要求。IEC Certification Kit 概述了如何将 MATLAB、Simulink、Polyspace 和附加产品应用于 ISO/SAE 21434 以及功能安全标准（ISO26262、IEC 61508）。该套件可帮助您构建并鉴定安全可靠的嵌入式系统开发流程。

了解产品