实践经验和新技术在电视的事件比比皆是。
随着新技术获得更多主流的关注,通常每个领域的专家提供大量的热情。正式在这种模式下,多个全年会议和世界各地。也许其中最成功的是一年一度的正式的一天的活动将由测试&验证解决方案(电视)总部位于英国。现在这个生活和网络事件的第四年,吸引专家和新用户,从一系列用户演示、学者和供应商。
2016年的事件发生在6月17日和吸引了183个人报名,来自130个国家的77人在线!伟大的是电视发布视频和幻灯片上电视正式天网站几乎所有的谈判。这是一个很好的信息池的实际经验和新技术都免费!
的创始人兼首席执行官迈克•Bartley电视,是这种方法的主要倡导者之一,他的知识的验证,连同他的见解正式应用,使他一个完美的主人为这个为期一天的活动。
一个快速回顾
约翰·考利在英国南安普顿大学的开幕活动,深入探讨基于模型的安全分析,如他所说,“高后果”系统开发。约翰,在EDA圈子里谁是著名的控股高级职位后TransEDA治之,花了时间研究正式的方法用于航空系统。
一些有用的定义后,包括一看这个电子行业各种标准管理部门,他研究了基于模型的方法用于指定安全需求,考虑控制而不是一个可靠性问题。他认为现实生活中这样的例子和挖掘的实际规范问题的例子中,一个起落架门子系统。
他接着描述”系统理论早期概念分析”和基于模型的方法可以用来指定飞机轨迹和其他因素。这是一个迷人的表示和他的想法可以应用在许多领域的半导体和电子系统设计在我们继续考虑如何描述需求更多的机器可读,可核查的时尚。
约翰的主旨是紧随其后的是另一个值得注意的正式专家,Elchanan融洽GilaLogic曾为多个企业咨询形式验证解决方案包括IBM、胳膊,TI。Elchanan写一个文章对FormalWorld就在几个月前评估正式的工具。在这个事件中,他谈到安全问题和正式的详尽测试漏洞的使用设备。他用一系列案例研究检查敏感信息传播如何使用模型检测技术进行分析。
Holgar布施,著名的形式验证专家从英飞凌,给了一个有趣的谈话围绕安全合规验证,在这一领域他是特别专家。在这个演讲中,他专注于硬件寄存器和寄存器文件的安全机制,以及ISO 26262条件下可以验证。他描述了各种技术来添加纠错寄存器,然后演示了如何使用,正式与故障注入,以确保任何故障都可能被困和处理到ASIL D水平描述在ISO标准。
阿施施Darbari是另一个著名的正式的专家,这次从想象力。他介绍的工作,他和他的团队在想象力上执行的使用改善formal-based模型抽象方法。阿施施讨论各种形式的抽象模型,从相对简单的一个抽象的FIFO模型然后搬到更复杂的例子。他能够证明抽象,加上assume-guarantee等技术,可以提供详尽的证明一系列的设计类型。
最后,亚历克斯·奥尔博通了一个很好的演讲他的经验来应对正式。在去年的事件中,亚历克斯谈到他的经验技术的新用户在一个最有趣的演讲在这个问题上,我看到了。亚历克斯,自称“大卫”(设计和验证工程师),谈到了他一年的经历,没有让人失望。在一个高度真实,实用时尚,亚历克斯挖到他使用的工具,利用它们更小以及更大的任务,帮助设计师减少实现错误,和其他正式的角度。
整整一天,赞助EDA供应商(OneSpin,抑扬顿挫,Synopsys对此和导师)提出的观点自己的工具和经验。OneSpin的基督教布里奇分层讨论正式到仿真环境和新技术来帮助验证工程师使用的工具,包括先进的新覆盖技术。Asa Ben-Tzur节奏谈到深状态错误狩猎,解释各种找出bug策略以及如何应用它们。Hans-Jorg彼得从Synopsys对此讨论正式关闭和机制可以实现它。Abdelouahab Ayari从导师图形提供了一个引物在正式引擎。
电视继续举办最丰富的正式活动,免费提供给工程团队。看看上的演示和视频网站任何参与验证的时间是值得花费的。
看到你在正式的第2017天!
|
|
|
|
|
|
|
|
|
留下一个回复