User menu

A Dedicated Algorithm for Verification of Interlocking Systems

Bibliographic reference Cappart, Quentin ; Schaus, Pierre. A Dedicated Algorithm for Verification of Interlocking Systems.International Conference on Computer Safety, Reliability, and Security (Trondheim, du 21/09/2016 au 23/09/2016). In: Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, Vol. 9922, p. 76-87 (04 September 2016)
Permanent URL http://hdl.handle.net/2078.1/177736
  1. Cribbens, A.: Solid-state interlocking (ssi): an integrated electronic signalling system for mainline railways. In: IEE Proceedings B (Electric Power Applications), vol. 134, pp. 148–158. IET (1987)
  2. Theeg, G., Anders, E., Vlasenko, S.: Railway Signalling & Interlocking: International Compendium. Eurailpress, Hamburg (2009)
  3. Cenelec, E.: 50128. Railway Applications-Communication, Signaling and Processing Systems-Software for Railway Control and Protection Systems (2011)
  4. Vu, L.H., Haxthausen, A.E., Peleska, J.: Formal modeling and verification of interlocking systems featuring sequential release. In: Artho, C., Ölveczky, P.C. (eds.) FTSCS 2014. CCIS, vol. 476, pp. 223–238. Springer, Heidelberg (2015)
  5. Winter, K.: Model checking railway interlocking systems. Aust. Comput. Sci. Commun. 24, 303–310 (2002)
  6. Eisner Cindy, Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard, Lecture Notes in Computer Science (1999) ISBN:9783540665595 p.99-109, 10.1007/3-540-48153-2_9
  7. Huber Michael, King Steve, Towards an Integrated Model Checker for Railway Signalling Data, FME 2002:Formal Methods—Getting IT Right (2002) ISBN:9783540439288 p.204-223, 10.1007/3-540-45614-7_12
  8. Clarke Edmund M., Klieber William, Nováček Miloš, Zuliani Paolo, Model Checking and the State Explosion Problem, Lecture Notes in Computer Science (2012) ISBN:9783642357459 p.1-30, 10.1007/978-3-642-35746-6_1
  9. Winter, K., Johnston, W., Robinson, P., Strooper, P., Van Den Berg, L.: Tool support for checking railway interlocking designs. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software, vol. 55, pp. 101–107. Australian Computer Society, Inc. (2006)
  10. Winter Kirsten, Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012) ISBN:9783642340314 p.246-260, 10.1007/978-3-642-34032-1_24
  11. Cappart, Q., Limbrée, C., Schaus, P., Legay, A.: Verification by discrete simulation of interlocking systems. In: 29th Annual European Simulation and Modelling Conference 2015, ESM 2015, pp. 402–409 (2015)
  12. Limbree, C., Cappart, Q., Pecheur, C., Tonetta, S.: Verification of interlocking systems using statistical model checking. arXiv preprint arXiv:1605.06245 (2016)
  13. Busard Simon, Cappart Quentin, Limbrée Christophe, Pecheur Charles, Schaus Pierre, Verification of railway interlocking systems, 10.4204/eptcs.184.2
  14. Anunchai, S.: Verification of railway interlocking tables using coloured pertri nets. In: Proceedings of the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (2009)
  15. Moller Faron, Nguyen Hoang Nga, Roggenbach Markus, Schneider Steve, Treharne Helen, Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B, Hardware and Software: Verification and Testing (2013) ISBN:9783642396106 p.193-208, 10.1007/978-3-642-39611-3_20
  16. Cappart, Q., Limbrée, C., Schaus, P., Quilbeuf, J., Traonouez, L.M., Legay, A.: Verification of interlocking systems using statistical model checking. arXiv preprint arXiv:1605.02529 (2016)