MATLAB 和 Simulink 研讨会

上机实践: 基于模型设计的代码分析和验证(仅限30 个座席)

概述

介绍如何通过基于模型设计的验证过程不断提升设计信心, 并以基于案例的动手练习方式操作代码静态分析验证,如何应用于嵌入式软件开发流程:包括编码规范(MISRA)、代码度量(如圈复杂度)、运行错误等在内软件问题和审查修改方法,帮助客户提升嵌入式软件质量以进一步符合功能安全要求。

由于座位和机位有限, 我们暂不在网站公开活动地址,我们将在会前一周内通过您注册电话与您确认参会的名额,并通过邮件方式通知参会地点,确认原则为正版用户优先、报名的时间顺序和行业应用的相关度。请务必确认您在注册时提供有效的电话信息。

亮点

  • 应用动态测试和静态分析到基于模型设计的过程
  • 全面介绍代码分析验证的范围和工具能力
  • 代码分析验证应用于嵌入软件开发流程的最佳实践

应出席人员

  • 汽车/航空/医疗等安全关键系统的软件开发和质量保证人员
  • 有较强的嵌入式C代码编程背景人员
  • 关注功能安全和软件质量改进的相关人员

备注:本研讨会涉及专业领域研究方向和产品化设计,将暂时不对在校学生开放,同学们可点击这里,参加相关主题的网上研讨会

关于演示者

龚小平, MathWorks中国区高级应用工程师,毕业于同济大学车辆工程专业。在汽车行业有多年的电控系统和软件开发从业经验,目前主要负责基于模型的设计和验证技术在国内客户的应用支持。

日程

时间 日程安排
13:15 注册和上机环境检查
13:30 基于模型设计的验证过程介绍
14:30 动手练习:代码分析和验证
  • 案例背景介绍
  • 创建并运行工程
15:00 休息
15:30
  • MISRA检查设置
  • MISRA检查结果审查
16:00
  • 代码度量介绍
  • 修改代码以符合软件标准
16:30
  • 代码验证介绍
  • 运行错误审查和修改
17:00 结束

报名已经截止