课程介绍

• 

  胡乐华

  MathWorks 中国高级应用工程师

  拥有航空航天制造工程硕士学位。加入MathWorks前，在霍尼韦尔，BlueSky从事直升机飞行动力学和涡轴发动机系统的仿真开发。

• 

  樊朝祥

  MathWorks中国高级应用工程师

  毕业于重庆理工大学，专业方向为软件工程。曾就职于Valeo，从事汽车电子嵌入式软件开发工作，在嵌入式软件开发，基于模型的设计，软件架构，软件项目管理领域有多年工作经验。

• 

  周拥华

  MathWorks中国技术经理

  熟悉产品研发与工程实践，在电力（许继）、通信（华为）和轨道交通（GE）等领域有二十多年的系统仿真分析、系统架构设计、软件产品开发及研发项目与团队管理经验。

• 主题说明

  嵌入式软件的开发由于受到微处理器、RAM/ROM、IO等硬件环境的影响，其调试、问题定位和测试验证都很难像桌面/服务器软件开发那样便捷，尤其在集成阶段经常会遇到一些棘手的问题。保证交付的产品稳定、可靠、安全是嵌入式设备开发企业的始终追求，其中涉及到诸如研发流程、周期、成本、认证等制约，如何在有限条件下，破解嵌入式软件质量的难题是软件开发与测试团队必须应对的挑战。
  本课程将以C/C++代码静态分析技术为出发点，带您了解各种运行时的错误，介绍如何快速查找和debug，甚至证明你的代码零缺陷的多种高级操作。此外，课程还将带领大家全面了解Polyspace的强大功能，为打造高安全完整性系统保驾护航。

• 适合对象

  任何C/C++软件产品的开发、测试、认证、管理人员，产品涉及人身安全，产品涉及重大经济/社会责任，产品联网，涉及信息安全，用于以上领域的嵌入式OS、BSP、支撑软件开发相关人员，涉及复杂计算且重要的桌面/服务器产品的软件开发相关人员。

• 学习要点

  • C/C++软件质量保证。

  
  • 软件缺陷、运行时错误。

  
  • 编码规范、功能安全、信息安全。

  
  • 基于抽象解释的形式化验证。

  
  • 生成用于安全认证的证物。

  
  活动日程

  

• 课时安排

  1.19:45—20:00  学员提前入场

   

  2.20:00—21:25  讲师上课

   

  3.21:25—21:30  讲师答疑环节

   

             

  识别上方二维码，立即注册本次线上研讨会！