破解嵌入式软件质量难题: 消除缺陷证明无运行时错误 MATLAB&Simulink
正在缓冲...
亮点包括
静态分析的误报与漏报与基于抽象解释的形式化验证方法
确切发现问题并精准定位根源
可疑情况分析
证明软件没有运行时错误
安全认证的支持和证物的生成
利用并行计算加速代码分析
控制和嵌入式系统
（16/39）
自动连播
19.8万播放
简介
订阅合集
【MBSE】P1: 什么是系统工程？
15:36
【MBSE】P2: 系统工程关于基于模型的方法
13:12
【MBSE】P3: 系统工程功能架构的优势
14:26
【MBSE】P4: 系统工程需求简介
15:07
【MBSE】P5: 基于模型的系统工程的一些优势
11:40
【系统辨识】P1: 什么是系统辨识？
16:16
【系统辨识】P2: 线性系统辨识
18:16
【系统辨识】P3: 非线性系统辨识
17:27
【系统辨识】P4: 在线和递归系统辨识
18:48
MATLAB 和 Simulink 基于模型的需求管理和架构设计与分析
57:24
【Polyspace】证明无“运行时错误”——Polyspace助力打造高质量高可靠的嵌入式软件
01:10:16
什么是 AUTOSAR Blockset？
01:58
【MBSE】通过基于模型的系统工程工具实现数字化转型
00:42
【Polyspace】形式化证明技术为车载软件保驾护航
33:20
破解嵌入式软件质量难题: 查找软件缺陷度量软件质量 MATLAB&Simulink
29:16
破解嵌入式软件质量难题: 消除缺陷证明无运行时错误 MATLAB&Simulink
33:16
（生肉）嵌入式系统设计中如何应对网络安全挑战？
45:21
破解嵌入式软件质量难题: C/C++代码静态分析技术 MATLAB&Simulink
24:05
使用Polyspace提前发现问题：在编码时发现代码缺陷 MATLAB&Simulink
04:57
【中英双字】了解 PID 控制，第 7 部分：重要的 PID 概念 (全7P)-MATLAB&Simulink
12:31
【中英双字】了解 PID 控制，第 6 部分：手动和自动调参的方式 (全7P)- MATLAB&Simulink
13:32
【中英双字】了解 PID 控制，第 5 部分：建模的三种方式 (全7P)-MATLAB&Simulink
13:47
【中英双字】了解 PID 控制，第 4 部分：PID 调参指南 (全7P)-MATLAB&Simulink
12:06
【中英双字】了解 PID 控制，第 3 部分：超越简单的导数 (全7P)-MATLAB&Simulink
11:54
【中英双字】了解 PID 控制，第 2 部分：超越简单的积分 (全7P)-MATLAB&Simulink
10:45
【中英双字】了解 PID 控制，第 1 部分：什么是 PID 控制？ (全7P)-MATLAB&Simulink
11:43
【Model Predictive Control】了解模型预测控制，第七部分：使用 Simulink 和模型预测控制工具箱 - MATLAB&Simulink
08:21
【Model Predictive Control】了解模型预测控制，第五部分：如何加速运行 MPC - MATLAB&Simulink
07:36
【Model Predictive Control】了解模型预测控制，第四部分：自适应、增益调度和非线性 MPC - MATLAB&Simulink
06:00
【Model Predictive Control】了解模型预测控制，第三部分：模型预测控制设计参数 - MATLAB&Simulink
08:17
【Model Predictive Control】了解模型预测控制，第二部分：什么是模型预测控制 - MATLAB&Simulink
06:13
【Model Predictive Control】了解模型预测控制，第一部分：为什么使用模型预测控 - MATLAB&Simulink
04:56
【Model Predictive Control】了解模型预测控制，第六部分：如何使用 Simulink 和模型预测控制工具箱设计 MPC 控制器
09:53
【工程师推动世界进步】滑翔伞能将货船变成帆船吗？-MATLAB&Simulink
01:37
【工程师推动世界进步】这款飞行出租车可能会改变你的通勤方式！- MATLAB&Simulink
01:55
Polyspace为高安全嵌入式系统的信息安全认证赋能
46:07
嵌入式软件开发中的信息安全与漏洞管理
40:41
【智能制造】构建数据和模型驱动的智能制造研发平台-MATLAB&Simulink
50:33
基于仿真的故障注入测试和安全分析
21:18
顶部