anders.linden

About Anders Linden

This author has not yet filled in any details.
So far Anders Linden has created 27 blog entries.

信号设计自动化论坛2019年会总结

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我们非常感谢所有参会者和演讲者的贡献,使这一天成为真正鼓舞人心的一天!

By |2019-11-21T12:48:53+01:00十一月 19th, 2019|事件|

保存日期 – SDA论坛将于2019年11月6日在北京举行

2017年,Prover Technology公司萌生了技术论坛的想法,我们希望创建一个分享经验和最佳实践以及相互沟通的论坛。 我们的目的是聚集来自世界各地领先的信号管理同行,并讨论自动化铁路信号系统的设计和验证中设计自动化和形式验证软件技术的最新发展,所以SDA论坛诞生了。 第一次会议由Prover公司于2017年5月15日在斯德哥尔摩主办。 我们对会议期间大家的参与感到非常高兴,大家展示的兴趣也超出了我们的预期。 我们邀请了来自世界各地的领先基础设施经理、供应商和工程公司,分享经验,激发灵感和建立沟通网络。 所以我们决定继续举办论坛。 SDA2019论坛将由Prover Technology于11月6日在中国北京举办,今年论坛的主题将是形式验证。 您可以在此处注册以获取更多信息。 我们希望今年秋天在北京见到您!

By |2019-07-09T08:20:08+01:00七月 8th, 2019|事件|