杰亚伯拉罕,MathWorks
Nishaat瓦西,MathWorks公司
Goran Begic, MathWorks
在这个
形式验证自20世纪70年代以来,方法一直在软件工程中使用。然而,它们的使用往往限于专门的环境和研究项目。在硬件设计方面,此类工具已进入行业主流;新的工具和与仿真和其他现有技术的集成有望在嵌入式软件设计和验证中留下印记。
目前,形式验证在嵌入式软件中的应用包括:
注意:在R2金宝app017b中,Simulink验证和确认过渡到Simulink检查、Simulink覆盖和Simulink要求。
主持人:
杰亚伯拉罕是MathWorks的产品营销经理。他的专长领域是软件工具,用于关键的嵌入式应用的验证。他拥有超过20年的软件和硬件设计经验。周杰伦有一个M.S.从锡拉丘兹大学和专业的学士学位计算机工程波士顿大学电气工程。
戈兰贝吉克是MathWorks的产品营销经理。他有11年以上使用各种代码和设计验证工具和开发过程的经验,包括敏捷、基于模型的设计和Rational统一过程。戈兰拥有克罗地亚萨格勒布大学的工程师学位。
Nishaat瓦西是MathWorks的产品营销经理。自从2007年加入MathWorks以来,Nishaat一直与涉及高完整性应用程序的客户合作,以促进采用MathWorks工具进行软件验证和生成报告。他拥有麻省大学电子工程硕士学位和孟买大学电子工程学士学位。
记录:2011年12月6日
特色产品
我们不会出售或出租您的个人联系信息。详情请参阅我们的隐私政策。
您已经登录到MathWorks帐户。请按“提交”键完成提交程序。
你也可以从以下列表中选择一个网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。