Abstract
Software has become an essential component in signalling systems. Writing clear, precise and accurate specifications is of course important for these systems.
Can formal methods help in this process? An interesting case is the recent development of the Hybrid Level 3 for ERTMS/ETCS. This paper addresses the specification and demonstration of ERTMS Hybrid Level 3.
Can formal methods help in this process? An interesting case is the recent development of the Hybrid Level 3 for ERTMS/ETCS. This paper addresses the specification and demonstration of ERTMS Hybrid Level 3.
Original language | English |
---|---|
Number of pages | 4 |
Journal | IRSE News |
Issue number | 260 |
Publication status | Published - 1 Nov 2019 |