The authors formally verify hybrid safety properties of cooperation protocols in a fully parametric version of the European train control system (ETCS). They present a formal model using hybrid programs and verify correctness using their logic-based decomposition procedure. This procedure supports free parameters and parameter discovery, which is required to determine correct design choices for free parameters of ETCS.
Logical verification and systematic parametric analysis in train control
Logische Verifikation und systematische parametrische Analyse in der Zugsteuerung
2008
4 Seiten, 10 Quellen
Aufsatz (Konferenz)
Englisch
TRAIN VERIFICATION SYSTEM, TRAIN VERIFICATION METHOD AND GROUND DEVICE
Europäisches Patentamt | 2017
|Automated verification for train control systems
Tema Archiv | 2004
|Wiley | 2022
|Signalling and train control - Taking a logical approach offers interoperability benefits
Online Contents | 2002