查看: 4682|回复: 0|关注: 0

[我分享] MathWorks在线研讨会: 基于Polyspace的协同合作提升嵌入式代码安全

[复制链接]

MATLAB 基础讨论
版块优秀回答者

239

主题

1223

帖子

35

最佳答案
  • 关注者: 978
发表于 2019-5-5 13:34:55 | 显示全部楼层 |阅读模式
MathWorks在线研讨会:——
基于Polyspace的协同合作提升嵌入式代码安全

日期:2019 年 6 月 20 日

时间:北京时间上午 10 点整

概述:

嵌入式代码安全对于高集成系统极为关键,基于静态分析和形式化验证的Polyspace不仅为这些应用符合功能安全提供了技术支撑;同时可以更好地集成到企业内部的持续集成流程,将验证结果更为方便地共享给企业内部的利益相关者,通过质量监控、评审管理和错误跟踪等协作流程打造企业的高质量文化。

会议亮点:

Polyspace 2019a 全新升级提供基于网页浏览器技术的轻量级多颗粒度代码验证结果共享功能。
  • 可用于项目经理的代码质量概要和趋势分析
  • 可用于研发人员的可定位到具体代码行的评审分析
  • 可用于质量人员的软件质量目标达成度分析

演示者:
龚小平,MathWorks 中国区高级应用工程师。毕业于同济大学车辆工程专业,有多年的汽车电控系统和软件开发经验。主要负责系统建模和仿真、自动代码生成、模型和代码的测试验证等基于模型的设计技术在汽车行业电气化和自动化方向的应用和推广。

产品聚焦:
  • Embedded Coder
  • Polyspace Bug Finder
  • Polyspace Bug Finder Access
  • Polyspace Bug Finder Server
  • Polyspace Bug Code Prover
  • Polyspace Bug Code Prover Access
  • Polyspace Bug Code Prover Server

点击注册


更多MathWorks在线视频观看>>



您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐上一条 /3 下一条

快速回复 返回顶部 返回列表