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
Conference paper
English
Logical jurisdiction and control jurisdiction decoupling train control method
European Patent Office | 2024
|TRAIN VERIFICATION SYSTEM, TRAIN VERIFICATION METHOD AND GROUND DEVICE
European Patent Office | 2017
|Automated verification for train control systems
Tema Archive | 2004
|Signalling and train control - Taking a logical approach offers interoperability benefits
Online Contents | 2002