Signaling Design Automation Forum 2018-04-04T11:58:51+00:00

Signaling Design Automation Forum

Stockholm 15th of May 2018

Involved in Designing and Safety Assessment of Signaling Systems? Then this is the Event for you!
Register today

Learn from and Network with Railway Signaling Peers

The SDA Forum 2018 is the event to embrace the latest evolutions of design automation – software technologies to automate design and verification for railway signaling systems.

This event is dedicated for signaling management peers to address the design automation needs of the railway of the future. Focusing on the perspectives and implementation strategies of suppliers and infrastructure managers, this Forum invites signaling management representatives to foster collaboration, drive standards, and to assist implementation strategies for design automation in railways.

The SDA Forum will provide an excellent opportunity to learn more about Signaling Design Automation. Leading infrastructure managers and suppliers will share state of the art and best practices on design automation and formal verification.

This is the event for signaling management involved in design, delivery and safety assessment of signaling systems. You will have excellent opportunities to discuss, learn and network with peers from infrastructure managers, suppliers and engineering firms.

Download Program

SPEAKERS

Anders Lindén

CEO, Prover

Opening of the event

William Parrella & Sofia Georgiadis

NYCT

Model Checking with the Prover iLock Verifier Toolset: Benefits for NYCT

Jesper Carlström

VP Project Delivery, Prover

Interlocking Design Automation (IDeA)

David Bonvoisin

Head of Railway systems qualification, RATP

Arne Borälv

CSO, Exec VP, Prover

Formal methods and standardization

Daniel Fredholm

Senior Consultant, Prover

Interlocking Design Automation (IDeA)

Andreas Mårtensson

SL (Stockholm Metro)

Signaling Design Automation – A proven result for Roslagsbanan

Peter Duggan

Chief Engineer, Siemens UK

Mathematical Proof in an Automated Environment for Railway Interlockings

Mohammed Tokunboh

RAMS CBTC Manager, Ansaldo STS

Experiences of Formal Verification

Find out How Different Railway Signaling Expertise Use Design Automation

NYCT, RATP and SL (Stockholm Metro) will be here to speak about how they use Design Automation and Formal verification to ensure safety and delivery of new signaling systems, and to modernize their infrastructure with deploying new systems.

Siemens and Ansaldo STS will share how they use Automation and formal verification to shorten lead times and ensuring highest levels of safety.

The event focus is on how Design Automation helps the Railway industry to shorten lead times, ensure safety and increase cost effectiveness.

Limited number of seats. Register today!

Register here

Signaling Design Automation Forum

Stockholm 15th of May 2018

Register today

Learn from and Network with Railway Signaling Peers

The SDA Forum 2018 is the event to embrace the latest evolutions of design automation – software technologies to automate design and verification for railway signaling systems.

The SDA Forum will provide an excellent opportunity to learn more about Signaling Design Automation. Leading infrastructure managers and suppliers will share state of the art and best practices on design automation and formal verification.

This is the event for signaling management involved in design, delivery and safety assessment of signaling systems. You will have excellent opportunities to discuss, learn and network with peers from infrastructure managers, suppliers and engineering firms.

Download Program

SPEAKERS

Anders Lindén, CEO, Prover

Opening of the event

William Parrella & Sofia Georgiadis, NYCT

Model Checking with the Prover iLock Verifier Toolset: Benefits for NYCT

Jesper Carlström, VP Project Delivery, Prover

Interlocking Design Automation (IDeA)

David Bonvoisin, Head of Railway systems qualification, RATP
Arne Borälv, CSO, Exec VP, Prover

Formal methods and standardization

Daniel Fredholm, Senior Consultant, Prover

Interlocking Design Automation (IDeA)

Andreas Mårtensson, SL (Stockholm Metro)

Signaling Design Automation – A proven result for Roslagsbanan

Peter Duggan, Siemens UK

Mathematical Proof in an Automated Environment for Railway Interlockings

Mohammed Tokunboh, RAMS CBTC Manager, Ansaldo STS

Experiences of Formal Verification

Find out How Different Railway Signaling Expertise Use Design Automation

NYCT, RATP and SL (Stockholm Metro) will be here to speak about how they use Design Automation and Formal verification to ensure safety and delivery of new signaling systems, and to modernize their infrastructure with deploying new systems.

Siemens and Ansaldo STS will share how they use Automation and formal verification to shorten lead times and ensuring highest levels of safety.

Register here