向铁路信号同行学习和沟通

——巴黎 SDA 论坛

2021 信号设计自动化论坛 – 巴黎

SDA 论坛是一个拥抱设计自动化和形式化验证最新发展的活动,即自动化铁路信号系统设计和验证的软件技术。 SDA 论坛邀请信号管理代表促进合作,推动标准并协助铁路设计自动化和形式化验证的实施策略。

继SDA 论坛于2018 和 2019年 取得巨大成功之后,我们邀请诚挚领先的项目运营商、供应商、工程公司和一流大学的研究人员,加入我们的2021年度SDA 论坛。

今年我们将更加关注形式化验证——100% 覆盖率的自动化安全保证。

2019活动视频

想要了解更多关于 SDA 论坛2021的信息?

更多信息将在稍后提供。

请填写右侧表格报名!