2019信号设计自动化论坛–安全保证

向铁路信号同行学习并与之交流–上海SDA论坛
今天注册

通过形式验证进行安全保证

Prover公司举办的SDA论坛是一个旨在拥抱形式验证和设计自动化的最新进展的活动。其中形式验证(Formal verification)是用于铁路信号系统等安全关键系统自动化全覆盖验证的软件技术。我们真诚邀请信号领域专业人士参加2019年度SDA论坛。我们期待在面对面的互动中交流经验,探讨铁路行业形式验证和设计自动化的实施策略和标准。同时也非常欢迎其他安全关键系统(例如汽车和智能合约)的从业人员参与。

斯德哥尔摩SDA2018论坛取得了巨大的成功,来自世界各地的领先基础设施经理,供应商和工程公司的与会者参加了会议。立足令世界瞩目的中国铁路市场,我们将于上海举办今年的SDA论坛。

加入我们,参加11月6日在上海举行的SDA论坛!

日程安排

2018年活动的视频。 音乐来源: www.bensound.com

演讲者

Anders Lindén

首席执行官, Prover

Jesper Carlström

工程副总裁, Prover

Daniel Fredholm

中国技术总监, Prover

今天注册!

点击这里注册