培训
活动
学习资源
访问帮助中心,浏览产品文档,参与社区论坛,查看发行说明,以及更多。
MATLAB 和 Simulink 视频
了解产品,观看演示,并浏览新功能
公司
招聘
MathWorks 致力于脱碳
了解 MathWorks 如何保护和恢复地球资源
搜索
视频与网上研讨会
在本次网络研讨会中,我们会谈到软件质量在高安全嵌入式系统中的重要性、嵌入式软件缺陷的类型以及如何使用基于抽象解释算法的代码分析工具Polyspace检测及证明代码中存在或不存在最难被发现的软件运行时错误,解释什么是抽象解释的算法以及Polyspace如何能证明代码的安全性。
随后用具体实例演示使用Polyspace的几种方式,并且介绍Polyspace在网络安全方面的更新。
出版年份: 2016 年 3 月 17 日
使用 MATLAB 衔接无线通信设计与测试
反馈
特色产品
Polyspace在软件代码验证中的应用
使用Polyspace进行软件代码错误检查和运行时错误证明
Polyspace: Eliminating Runtime Errors in Critical Embedded...
Embedded Security with Polyspace Static Analysis
Developing Medical Device Software with Zero Bugs
查看更多相关视频
选择网站
选择网站以获取翻译的可用内容,以及查看当地活动和优惠。根据您的位置,我们建议您选择:。
您也可以从以下列表中选择网站:
如何获得最佳网站性能
选择中国网站(中文或英文)以获得最佳网站性能。其他 MathWorks 国家/地区网站并未针对您所在位置的访问进行优化。
美洲
欧洲
亚太
联系您当地的办事处