Construction of formal models and verifying property specifications through an example of railway interlocking systems

Abstract The use of formal modeling has seen an increasing interest in the development of safety-critical, embedded microcomputer-controlled railway interlocking systems, due to its ability to spec...

[1]  Farooq Ahmad,et al.  Extending Petri net to reduce control strategies of railway interlocking system , 2014 .

[2]  Dániel Darvas,et al.  Industrial applications of the PetriDotNet modelling and analysis tool , 2017, Sci. Comput. Program..

[3]  Dániel Darvas,et al.  Practice-oriented formal methods to support the software development of industrial control systems , 2017 .

[4]  Anne Elisabeth Haxthausen,et al.  Modelling and Verification of Interlocking Systems for Railway Lines , 2003 .

[5]  Christoforos Keroglou,et al.  Verification of detectability in Probabilistic Finite Automata , 2017, Autom..

[6]  Efficient Development of Avionics Software with DO-178B Safety Objectives , 2002 .

[7]  Hao Cai,et al.  Modelling High Integrity Transport Systems by Formal Methods , 2014 .

[8]  Xudong He,et al.  9 – High-Level Petri Nets—Extensions, Analysis, and Applications , 2005 .

[9]  Anirban Dasgupta,et al.  Quantified Computation Tree Logic , 2002, Inf. Process. Lett..

[10]  Wan Fokkink,et al.  Some Trends in Formal Methods Applications to Railway Signaling , 2012, FMICS 2012.

[11]  Doaa Soliman,et al.  Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications , 2012, Annu. Rev. Control..

[12]  Oytun Eris,et al.  Safety-Critical Interlocking Software Development Process for Fixed-Block Signalization Systems , 2012 .

[13]  thierry lecomte,et al.  Formal Methods in Safety-Critical Railway Systems , 2007 .

[14]  Norihiro Kamide,et al.  Logics and translations for hierarchical model checking , 2017, KES.

[15]  Stefano Ricci.  The use of Petri Nets models in railway traffic applications , 2009 .

[16]  George L. Kovács,et al.  An information technology view of manufacturing automation - product life-cycle management , 2016 .