用MATLAB和Simulink简化形式验证
在这个
形式验证自20世纪70年代以来,方法一直在软件工程中使用。然而,它们的使用往往局限于专门的环境和研究项目。在硬件设计上,这类工具已经进入行业主流;新的工具以及与仿真和其他现有技术的集成有望在嵌入式软件设计和验证方面取得成功。
形式化验证在嵌入式软件中的应用包括:
- 根据功能要求进行设计验证
- 设计错误检测
- 测试生成
- 模型覆盖率分析
- 运行时错误检测
- 证明没有运行时错误
注意:在R2017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
主持人:
杰亚伯拉罕是MathWorks公司的产品营销经理。他的专业领域是用于验证关键嵌入式应用程序的软件工具。他有超过20年的软件和硬件设计经验。Jay拥有雪城大学计算机工程硕士学位和波士顿大学电气工程学士学位。
Goran Begic是MathWorks公司的产品营销经理。他有11年以上的使用各种代码和设计验证工具和开发过程的经验,包括敏捷、基于模型的设计和Rational统一过程。Goran拥有克罗地亚萨格勒布大学的工程师学位。
Nishaat Vasi是MathWorks公司的产品营销经理。自2007年加入MathWorks以来,Nishaat一直与涉及高完整性应用程序的客户合作,以促进采用MathWorks工具进行软件验证和报告生成。他拥有马萨诸塞大学(University of Massachusetts)的电气工程硕士学位和孟买大学(University of Mumbai)的电子工程学士学位。
记录:2011年12月6日
相关产品2022世界杯八强谁会赢?
您也可以从以下列表中选择网站:
如何获得最佳的网站性能
选择中国网站(中文或英文)以获得最佳的网站表现。其他MathWorks国家网站没有针对从您的位置访问进行优化。