Jay Abraham,Mathworks
Nishaat Vasi,Mathworks
Goran Begic,Mathworks
在这方面
正式验证自20世纪70年代以来的软件工程中已在软件工程中使用方法。然而,它们的使用通常仅限于专业环境和研究项目。在硬件设计中,此类工具已经进入行业主流;使用仿真和其他现有技术的新工具和集成承诺在嵌入式软件设计和验证中进行标记。
今天嵌入式软件中的正式验证的应用包括:
注意:Sim万博1manbetxulink验证和验证转换为R2017B中的Simulink Check,Simulink Coverage和Simulink要求。
关于演示者:
杰伊亚伯拉罕是MathWorks的产品营销经理。他的专业领域是用于验证关键嵌入式应用程序的软件工具。他拥有超过20年的软件和硬件设计体验。杰伊有一个美国。在锡拉丘兹大学和B.S的计算机工程中。在波士顿大学的电气工程中。
Goran Begic是MathWorks的产品营销经理。他拥有11年多年的经验,使用各种代码和设计验证工具和开发过程,包括敏捷,基于模型的设计和理性统一进程。戈兰拥有克罗地亚萨格勒布大学的工程师学位。
Nishaat Vasi.是MathWorks的产品营销经理。自2007年加入MathWorks以来,Nishaat与参与高完整性应用的客户合作,以促进用于软件验证和报告生成的Mathworks工具。他持有一个美国。在马萨诸塞大学和B.E的电气工程中。在孟买大学的电子工程中。
记录:2011年12月6日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。