39:49视频长度是39:49。
正式的验证与MATLAB和Simulink容易万博1manbetx
在这个
形式验证方法已在使用软件工程自1970年代。它们的使用,然而,往往是局限于专门的环境和研究项目。在硬件设计中,这些工具已经进入行业的主流;新的工具和集成模拟和其他现有技术承诺做个记号在嵌入式软件设计和验证。
今天在嵌入式软件形式验证的应用程序包括:
- 验证设计的功能需求
- 设计错误检测
- 测试生成
- 模型覆盖率分析
- 运行时错误检测
- 证明没有运行时错误
注意:仿真软万博1manbetx件验证和确认转换到仿真软件检查,仿真软件的覆盖率和需求在R2017b工具箱。
主持人:
杰亚伯拉罕是MathWorks产品营销经理。他的专业领域是软件工具的验证关键的嵌入式应用程序。他有超过20年的软件和硬件设计经验。周杰伦从锡拉丘兹大学计算机工程硕士学位,从波士顿大学的电气工程学士学位。
Goran Begic是MathWorks产品营销经理。他已经11年以上的工作经验与各种代码和设计验证工具和开发过程包括敏捷、基于模型的设计,和Rational统一过程。Goran持有一个工程师的萨格勒布大学的学位,克罗地亚。
Nishaat Vasi是MathWorks产品营销经理。自2007年加入MathWorks Nishaat高度集成与客户合作参与应用程序推广采用MathWorks工具软件验证和报告生成。他拥有从马萨诸塞大学电子工程硕士学位和B.E.孟买大学的电子工程。
记录:2011年12月6日
相关产品s manbetx 845
你也可以从下面的列表中选择一个网站:
表现最好的网站怎么走吗
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。