基于需求的Simulink测试验证金宝app

强调

学习如何:

  • 使用基于模型的设计实现需求自动化
  • 将非正式的文本需求转化为具有明确定义语义的明确评估
  • 跟踪设计和测试的要求
  • 使用新的观察程序块,在不干扰设计或生成代码的情况下监测内部信号

关于演示者

Paul Urban是MathWorks的高级产品营销经理,负责验证和验证工具,特别是Simulink Requirements, Simulink Test和Simulink Check。金宝app他的经验包括将基于模型的设计应用于系统工程、嵌入式软件开发和测试的广泛工作。在2016年加入MathWorks之前,Paul曾在IBM Watson IoT、Telelogic和I-Logix担任产品营销、业务开发、咨询和开发的职务,在那里他与Rhapsody一起致力于基于UML/SysML的解决方案。金宝搏官方网站

记录时间:2019年8月13日