Periodic Reporting for period 2 - 4SECURAIL (FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR)

The project addresses OC S2R-OC-IP2-2019 for the use of FM and standard interfaces as two key concepts to reduce the time needed to develop railway signalling systems and the high costs for procurement, development and maintenance. FM are needed to ensure correct behaviour...