基于模型设计的需求管理和验证

概述

需求是一切设计的来源，如何对需求进行追溯和验证是设计工程的关键。Requirements Toolbox可以在Simulink的设计环境中进行需求的追溯和变更管理，而Simulink Test则提供了包括了从外部excel文档导入等多种方式管理测试用例并关联到需求的途径。本次研讨会将介绍如何在基于模型设计的环境中对需求进行追溯和验证的方法。

亮点包括：

  • 如何导入外部需求；
  • 在Simulink环境中编辑需求；
  • 监控需求的实现和验证状态；
  • 基于需求的测试管理。

关于演示者

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

录制日期: 2017 年 11 月 22 日

反馈

下一个:

Introduction to simulation testing of Simulink models and generated code

Simulation Testing in Model-Based Design

相关视频:

This talk explains the expanding capabilities of tools for dynamic testing and formal methods–based static analysis. See how to apply these techniques to a production development process to achieve higher quality and productivity.

MathWorks Vision for Systematic Verification and Validation

基于模型的设计因为其自身固有的优势，已经成为汽车电子软件开发的主流模式。在使用基于模型的设计开发汽车电子软件的过程中，如何建立涵盖需求分析、设计评审、单元测试、集成测试、可追溯、代码验证以及软件版本控制的开发流程，正在成为汽车电子软件开发者最为关心的问题。本课程将参照ISO 26262，介绍汽车电子软件开发中从需求到软件实现的整个过程。

符合ISO 26262的汽车电子软件开发流程

V模型在汽车行业使用得非常的广泛，是汽车电子开发的标准流程。本文将介绍基于模型的设计在V模型中所处的环节，如何和其他的相关开发流程和开发工具衔接，相比传统的开发模式有什么优势和缺点。本文还会分析在汽车功能安全领域，基于模型的设计应该如何使用，需要哪些相关的准备和必要的前提，如何应用于功能安全产品的开发。

基于模型的设计在汽车功能安全项目中的应用

从航天工作的特点和发展趋势出发，牵引出基于模型设计（MBD）的系统研制需求，通过航天GN&C系统开发的实际案例分享，让您体会到基于V流程和MBD的设计理念在MathWorks系列工具间无缝传递的真实过程 （包括物理建模、系统仿真、自动代码生成以及硬件在环测试），并最终分享在上述实践过程中一些宝贵的工程化经验。

基于模型设计在航天GN&C系统开发中的应用探索

查看更多相关视频