MBD中简化基于需求的测试

采用基于模型的设计使得非标准化的文字形式的需求就能用模型表达并进行早期的仿真验证，然而基于时序的信号逻辑的需求往往会表述的不完整或者不一致。这会导致产生各类设计错误和交流困难。

本演讲展示了对需求建模并使用Simulink Test™中Logical and Temporal Assessments编辑器将非标准化的文字需求用清晰的预先定义的语义进行无二义性的评价，以发现需求中的不一致，并进行可视化及调试设计中的错误。

出版年份: 2019 年 7 月 9 日

了解更多

查看幻灯片
相关信息
申请试用版

反馈

下一个:

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

相关视频:

Introduction to simulation testing of Simulink models and generated code

Simulation Testing in Model-Based Design

基于模型的设计得到了越来越广泛的采用。开发工具也必须紧跟业界趋势。该议题将介绍MathWorks产品技术的最新发展，以支持将基于模型的设计应用到生产项目中。具体包括适用于团队开发的Simulink Projects、更高效的Simulink全新界面、以及其他更多新功能。

MathWorks工具在基于模型的设计方面的最新进展

对于车身电子开发来讲，存在以下事实： 车身电子相对于动力总成来讲，产品的多样性问题比较突出； 国内的OEM厂商，更加追求功能的个性化，多样化，导致他们提出的需求变更比较频繁，项目与项目之前也存在很大差异； 基于以上事实，对于车身电子产品开发，我们希望有合适的开发过程可以应对这种产品的多样性和需求的频繁变更，而基于模型的设计，从图形化设计、

MBD在BCM软件快速开发中的应用

本次研讨会通过基本的Simulink功能介绍，让用户对Simulink基于模型设计开发这一系统化平台，有个全面的了解。该研讨会面向Simulink的新用户和初级使用者，包括系统工程师、控制工程师、嵌入式软件工程师等客户。

使用Simulink进行基于模型的设计开发

查看更多相关视频