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.