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 |
Fingerprint Dive into the research topics of 'The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3'. Together they form a unique fingerprint.
Cite this
Bartholomeus, M., Luttik, B., Willemse, T. A. C., Hansen, D., Leuschel, M., & Hendriks, P. (2019). The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3. IRSE News, (260).