Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL

[1]  Maurice H. ter Beek,et al.  On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders , 2018, IFM.

[2]  Faron Moller,et al.  Verification of Scheme Plans Using CSP $$||$$ | | B , 2013, SEFM Workshops.

[3]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[4]  Franco Mazzanti,et al.  Ten Diverse Formal Models for a CBTC Automatic Train Supervision System , 2018, MARS/VPT@ETAPS.

[5]  Anne Elisabeth Haxthausen,et al.  Model Checking Geographically Distributed Interlocking Systems Using UMC , 2017, 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).

[6]  Anne Elisabeth Haxthausen,et al.  Formal Development and Verification of a Distributed Railway Control System , 2000, IEEE Trans. Software Eng..

[7]  Wang Yi,et al.  Automatic verification of real-time communicating systems by constraint-solving , 1994, FORTE.

[8]  David Déharbe,et al.  Safety Analysis of a CBTC System: A Rigorous Approach with Event-B , 2017, RSSRail.

[9]  Thai Son Hoang,et al.  The Hybrid ERTMS/ETCS Level 3 Case Study , 2018, ABZ.

[10]  Maurice H. ter Beek,et al.  A state/event-based model-checking approach for the analysis of abstract system properties , 2011, Sci. Comput. Program..

[11]  A. E. Haxthausen,et al.  Stepwise development and model checking of a distributed interlocking system using RAISE , 2020, Formal Aspects of Computing.

[12]  Axel Legay,et al.  Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC , 2019, FMICS.

[13]  Bas Luttik,et al.  Towards model checking executable UML specifications in mCRL2 , 2009, Innovations in Systems and Software Engineering.

[14]  Kim G. Larsen,et al.  Uppaal Stratego , 2015, TACAS.

[15]  Anne Elisabeth Haxthausen,et al.  Formal modelling and verification of interlocking systems featuring sequential release , 2014, Sci. Comput. Program..

[16]  Alessandro Fantechi,et al.  Twenty-Five Years of Formal Methods and Railways: What Next? , 2013, SEFM Workshops.

[17]  Anne Elisabeth Haxthausen,et al.  Safety Interlocking as a Distributed Mutual Exclusion Problem , 2018, FMICS.

[18]  Charles Pecheur,et al.  Verification of Railway Interlocking - Compositional Approach with OCRA , 2016, RSSRail.