Formal Model-Based Analysis of a Signalling Application using SCADE - Presentation

This presentation details the work initiated by the University of Florence, A SCADE Academic partner, on a railway signalling application. It describes the benefits of using formal methods and model-based design for the development of a CBTC and an interlocking system.
I want to receive updates and other offers from ANSYS and its partners. I can unsubscribe at any time. ANSYS Privacy Notice