向铁路信号同行学习和沟通
——巴黎 SDA 论坛
2021 信号设计自动化论坛 – 巴黎
SDA 论坛是一个拥抱设计自动化和形式化验证最新发展的活动，即自动化铁路信号系统设计和验证的软件技术。 SDA 论坛邀请信号管理代表促进合作，推动标准并协助铁路设计自动化和形式化验证的实施策略。
继SDA 论坛于2018 和 2019年 取得巨大成功之后，我们邀请诚挚领先的项目运营商、供应商、工程公司和一流大学的研究人员，加入我们的2021年度SDA 论坛。
今年我们将更加关注形式化验证——100% 覆盖率的自动化安全保证。
2019活动视频
想要了解更多关于 SDA 论坛2021的信息？
更多信息将在稍后提供。