杰亚伯拉罕,MathWorks
Nishaat Vasi, MathWorks
Goran Begic, MathWorks
在这方面
正式验证方法自20世纪70年代开始在软件工程中使用。然而,它们的使用通常仅限于专门的环境和研究项目。在硬件设计方面,此类工具已进入行业主流;新的工具以及与仿真和其他现有技术的集成有望在嵌入式软件设计和验证中留下印记。
目前,形式验证在嵌入式软件中的应用包括:
注:在R20万博1manbetx17b中,Simulink Verification和Validation已过渡到Simulink Check、Simulink Coverage和Simulink Requirements。
主持人:
杰伊亚伯拉罕是MathWorks的产品营销经理。他的专业领域是用于验证关键嵌入式应用程序的软件工具。他拥有超过20年的软硬件设计经验。Jay在雪城大学(Syracuse University)获得计算机工程硕士学位,在波士顿大学(Boston University)获得电气工程学士学位。
Goran Begic是MathWorks的产品营销经理。他有11年以上的工作经验,涉及各种代码、设计验证工具和开发过程,包括敏捷、基于模型的设计和Rational统一过程。戈兰拥有克罗地亚萨格勒布大学的工程师学位。
Nishaat Vasi是MathWorks的产品营销经理。自2007年加入MathWorks以来,Nishaat一直与涉及高完整性应用程序的客户合作,以促进采用MathWorks工具进行软件验证和报告生成。他持有the University of Massachusetts的电子工程硕士学位和the University of Mumbai的电子工程学士学位。
录音时间:2011年12月6日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。