基于Polyspace的协同合作提升嵌入式代码安全
概述
嵌入式代码安全对于高集成系统极为关键，基于静态分析和形式化验证的Polyspace不仅为这些应用符合功能安全提供了技术支撑；同时可以更好地集成到企业内部的持续集成流程，将验证结果更为方便地共享给企业内部的利益相关者，通过质量监控、评审管理和错误跟踪等协作流程打造企业的高质量文化。
亮点包括
Polyspace 2019a 全新升级提供基于网页浏览器技术的轻量级多颗粒度代码验证结果共享功能。
- 可用于项目经理的代码质量概要和趋势分析，
- 可用于研发人员的可定位到具体代码行的评审分析，
- 可用于质量人员的软件质量目标达成度分析。
关于演示者
龚小平，迈斯沃克中国区高级应用工程师。毕业于同济大学车辆工程专业，有多年的汽车电控系统和软件开发经验。主要负责系统建模和仿真、自动代码生成、模型和代码的测试验证等基于模型的设计技术在汽车行业电气化和自动化方向的应用和推广。
录制日期: 2019 年 6 月 20 日
