Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker

[1]  Michael Leuschel,et al.  Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model , 2020, International Journal on Software Tools for Technology Transfer.

[2]  Kim G. Larsen,et al.  20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond , 2018, ISoLA.

[3]  Donald L. Iglehart,et al.  Importance sampling for stochastic simulations , 1989 .

[4]  Paolo Arcaini,et al.  Validation of the Hybrid ERTMS/ETCS Level 3 using Spin , 2019, International Journal on Software Tools for Technology Transfer.

[5]  Kim G. Larsen,et al.  Safe and Time-Optimal Control for Railway Games , 2019, RSSRail.

[6]  Julie Beugin,et al.  Simulation-based evaluation of dependability and safety properties of satellite technologies for railway localization , 2012 .

[7]  A Novel Method on Probability Evaluation of ZC Handover Scenario Based on SMC , 2020 .

[8]  Kim G. Larsen,et al.  Importance Sampling for Stochastic Timed Automata , 2016, SETTA.

[9]  Alessandro Fantechi,et al.  Connected or Autonomous Trains? , 2019, RSSRail.

[10]  Vincenzo Ciancia,et al.  Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook , 2018, ISoLA.

[11]  Axel Legay,et al.  Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego , 2020, FORTE.

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

[13]  Clifton A. Ericson,et al.  Hazard Analysis Techniques for System Safety , 2005 .

[14]  Kim G. Larsen,et al.  Rewrite-Based Statistical Model Checking of WMTL , 2012, RV.

[15]  Alexander Romanovsky,et al.  Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , 2016, Lecture Notes in Computer Science.

[16]  Jürgen Dingel,et al.  Modelling and Code Generation for Real-Time Embedded Systems with UML-RT and Papyrus-RT , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).

[17]  Maurice H. ter Beek,et al.  Formal methods for transport systems , 2018, International Journal on Software Tools for Technology Transfer.

[18]  Gul A. Agha,et al.  A Survey of Statistical Model Checking , 2018, ACM Trans. Model. Comput. Simul..

[19]  Axel Legay,et al.  Verification of Interlocking Systems Using Statistical Model Checking , 2016, 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE).

[20]  Marina Waldén,et al.  Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems , 2020, SEFM.

[21]  Marc Frappier,et al.  A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard , 2019, International Journal on Software Tools for Technology Transfer.

[22]  Felicita Di Giandomenico,et al.  Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming , 2017, RSSRail.

[23]  Alcino Cunha,et al.  Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum , 2019, International Journal on Software Tools for Technology Transfer.

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

[25]  Tomas Hotzel Escardo,et al.  Modelling Train Driver Behaviour in Railway Co-simulations , 2020, SEFM.

[26]  A. Neri,et al.  Recent progress in application of GNSS and advanced communications for railway signaling , 2013, 2013 23rd International Conference Radioelektronika (RADIOELEKTRONIKA).

[27]  Serge Haddad,et al.  Coupling and Importance Sampling for Statistical Model Checking , 2012, TACAS.

[28]  Stefano Marrone,et al.  Modeling Railway Control Systems in Promela , 2015, FTSCS.

[29]  Kim G. Larsen,et al.  Uppaal SMC tutorial , 2015, International Journal on Software Tools for Technology Transfer.

[30]  Andrea Bondavalli,et al.  The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results , 2019, SAFECOMP Workshops.

[31]  Kim G. Larsen,et al.  Safe and Optimal Adaptive Cruise Control , 2015, Correct System Design.

[32]  Subrahmanyam Kalyanasundaram,et al.  Coordinated Intelligent Traffic Lights using Uppaal Stratego , 2019, 2019 11th International Conference on Communication Systems & Networks (COMSNETS).

[33]  Marieke Huisman,et al.  Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System , 2019, IFM.

[34]  Bas Luttik,et al.  Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset , 2018, FMICS.

[35]  Davide Basile,et al.  Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System , 2019, RSSRail.

[36]  Dana Dghaym,et al.  Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B , 2019, International Journal on Software Tools for Technology Transfer.

[37]  Leonidas Tsiopoulos,et al.  Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes , 2020, ABZ.

[38]  Anne E. Haxthausen,et al.  Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL , 2020, ISoLA.

[39]  Emanuela Falletti,et al.  An HW-In-the-Loop Approach for the Assessment of GNSS Local Channel Effects in the Railway Environment , 2018 .

[40]  Anne Elisabeth Haxthausen,et al.  Formal Verification of Railway Timetables - Using the UPPAAL Model Checker , 2019, From Software Engineering to Formal Methods and Tools, and Back.

[41]  Ulrich Berger,et al.  Verification of the European Rail Traffic Management System in Real-Time Maude , 2017, Sci. Comput. Program..

[42]  Axel Legay,et al.  Statistical Model Checking , 2019, Computing and Software Science.

[43]  A. Attiya,et al.  Passive RFID Tag for Railway Application , 2018 .

[44]  Anne Elisabeth Haxthausen,et al.  Efficient data validation for geographical interlocking systems , 2019, Formal Aspects of Computing.

[45]  Martin Fränzle,et al.  Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events , 2018, ISoLA.

[46]  Dimitrios Kouzapas,et al.  Typechecking protocols with Mungo and StMungo , 2016, PPDP.

[47]  Jiaqi Yin,et al.  Modeling and Analysis of RabbitMQ Using UPPAAL , 2020, 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).