11月6日,Prover在上海主办了2019年信号设计自动化论坛。

我们的主旨是召集铁路信号行业以及相关安全关键行业的专业人士,共享和讨论设计自动化的最新进展,使用软件技术实现铁路信号系统的自动化设计和验证,并特别地关注了通过形式验证保证安全。

我们希望创建一个论坛,分享最佳的实践经验以及帮助大家交流。
对于您的积极参与和对论坛的兴趣我们感到高兴和荣幸。会议席次完全注册,而且会议当天获得了众多参与和讨论。

SDAF 2019期间发生了什么?

当天举行了几次有趣的演讲,最终我们对包括形式验证和设计自动化在内的关键问题进行了在线调查。

Prover中国技术总监Daniel Fredholm从形式验证保证安全为起点介绍了,形式验证是什么,如何执行形式验证,以及为什么它是唯一可以获得100%覆盖安全性的验证方法。牛非介绍了Prover的解决方案Prover iLock和Prover Certifier,用于形式验证和设计自动化,包括全面的现场演示。接下来是一些有关使用形式验证和设计自动化的全球应用案例研究,并介绍了斯德哥尔摩地铁(SL)在使用完整的设计自动化过程进行信号设计方面的经验。我们介绍了纽约地铁(NYVT)对所有新的计算机联锁系统要求强制使用形式验证,在巴黎地铁(RATP),也多年来把形式验证作为一种实现安全保证的强制手段。作为在中国市场采用形式验证的先驱,卡斯柯信号公司介绍了他们正在进行的形式验证方面的工作以及他们在设计自动化方面的计划。ANSYS分享了他们在铁路运输中用于安全关键软件的解决方案以及由Prover Technology提供的Design Verifier。铁路行业的主要独立第三方评估公司之一Certifer分享了对使用形式验证实现安全保证工作的看法。最后,我们进行了关于安全保证和形式验证中关键问题的在线调查。

上海气候宜人,经过一天的演讲、讨论和交流,我们在附近的Le Bec&Charles与大家共进晚餐。

Prover我们非常感谢所有参会者和演讲者的贡献,使这一天成为真正鼓舞人心的一天!

Liked it? Share it!