References

  1. (2015): The XML-Interface for Railway Applications - http://www.railml.org. Available at http://www.railml.org.
  2. Robert Abo & Laurent Voisin (2013): Data Formal Validation of Railway Safety-Related Systems: Implementing the OVADO Tool. FM-RAIL-BOK, Workshop 2013, Madrid, pp. 27–32, doi:10.1007/978-3-319-05032-4_17.
  3. Hubert Bellon (2014): Data Preparation Guide for Interlocking used in the Belgian Railways. Infrabel - technical references N20.
  4. Simon Busard & Charles Pecheur (2013): PyNuSMV: NuSMV as a Python Library. In: Guillaume Brat, Neha Rungta & Arnaud Venet: Nasa Formal Methods 2013, LNCS 7871. Springer-Verlag, pp. 453–458, doi:10.1007/978-3-642-38088-4_33.
  5. CENELEC (2011): EN50128 - Railway applications - Communication, Signalling and Processing Systems - Software for Railway Control and Protection Systems.
  6. Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani & Armando Tacchella (2002): NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Ed Brinksma & KimGuldstrand Larsen: Computer Aided Verification, Lecture Notes in Computer Science 2404. Springer Berlin Heidelberg, pp. 359–364, doi:10.1007/3-540-45657-0_29.
  7. Edmund M. Clarke, Orna Grumberg & Doron Peled (2001): Model checking. MIT Press, doi:10.1016/B978-044450813-3/50026-6. Available at http://books.google.de/books?id=Nmc4wEaLXFEC.
  8. Alessandro Fantechi, Wan Fokkink & Angelo Morzenti (2012): Some Trends in Formal Methods Applications to Railway Signaling, pp. 61–84. John Wiley & Sons, Inc., doi:10.1002/9781118459898.ch4.
  9. Michael Huber & Steve King (2002): Towards an Integrated Model Checker for Railway Signalling Data. Springer-Verlag Berlin Heidelberg 2002, pp. 20, doi:10.1007/3-540-45614-7_12.
  10. Ahmad Mirabadi & Mohammad B. Yazdi (2009): Automatic Generation and Verification of Railway Interlocking Control Tables using FSM and NuSMV. Transport Problems : an International Scientific Journal 4, pp. 103–110. Available at http://www.transportproblems.polsl.pl/pl/Archiwum/2009/zeszyt1/2009t4z1_13.pdf.
  11. Faraon Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider & Helen Treharne (2012): Combining Event-based and State-based Modeling for Railway Verification. Computing Sciences Report.
  12. Faraon Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider & Helen Treharne (2012): CSP"026B30D B Modelling for Railway Verification: The Double Junction Case Study. Proceedings of the 12th International Workshop on Automated Verification of Critical Systems.
  13. Faron Moller, HoangNga Nguyen, Markus Roggenbach, Steve Schneider & Helen Treharne (2013): Defining and Model Checking Abstractions of Complex Railway Models Using CSP"026B30D B. In: Armin Biere, Amir Nahir & Tanja Vos: Hardware and Software: Verification and Testing, Lecture Notes in Computer Science 7857. Springer Berlin Heidelberg, pp. 193–208, doi:10.1007/978-3-642-39611-3_20.
  14. George Raymond (2014): Where are the CENELEC standards going ?. IRSE News Issue 203, pp. 21–23.
  15. Kirsten Winter & Neil J. Robinson: Modelling Large Railway Interlockings and Model Checking Small Ones. In: In Michael Oudshoorn, editor, Twenty-Fifth Australasian Computer Science Conference (ACSC2003), pp. 309–316.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org