Validation of interlocking systems by testing their models

Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014

Volumn , Issue , 2014, Pages 226-229

  Bonacchi, Andrea ^a   Fantechi, Alessandro ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INTERLOCKING SIGNALS; SAFETY DEVICES; SAFETY ENGINEERING;

CERTIFICATION PROCESS; INTERLOCKING SYSTEMS; SAFETY CRITICAL SYSTEMS; SAFETY RULES; SET OF RULES; TARGET DESCRIPTIONS; VALIDATION STAGES;

TOPOLOGY;

EID: 84921058956     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QUATIC.2014.37     Document Type: Conference Paper

References (15)

1. S. Vanit-Anunchai. Modelling Railway Interlocking Tables Using Coloured Petri Nets. In: COORDINATION. Lecture Notes in Computer Science, vol. 6116, pp. 137-151 (2010).
2. S. Bacherini, A. Fantechi, M. Tempestini, N. Zingoni. A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. In LNCS 4085-FM '06, pp. 179-189 (2006).
3. A. Bonacchi. Formal safety proof: a real case study in a railway interlocking system. In: ISSTA. pp. 378-381. ACM (2013)
4. A. Bonacchi, A.Fantechi, S. Bacherini, M. Tempestini, L. Cipriani. Validation of Railway Interlocking Systems by Formal Verification, a Case Study, In: SEFM Workshops 2013, LNCS 8368 pp.237-252.
5. J. Brauer, J. Peleska, U. Schulze. Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. In LNCS 7641-ICTSS '12 pp. 8-23 (2012).
6. E. Bringmann and A. Kramer. Model-Based testing of automotive systems. In Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, pages 485-493. IEEE Computer Society, 2008.
7. A. Ferrari, A. Fantechi, S. Gnesi, G. Magnani. Model-Based Development and Formal Methods in the Railway Industry. IEEE Software 30(3): 28-34 (2013)
8. A. Ferrari, G. Magnani, D. Grasso, A. Fantechi, M. Tempestini. Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer, IJERTCS, vol. 2, no. 2, pp. 42-61, 2011.
9. B. Fringuelli, E. Lamma, P. Mello, G. Santocchia. Knowledge-Based Technology for Controlling Railway Stations. IEEE Expert: Intelligent Systems and Their Applications pp. 45-52 (1992).
10. A.E. Haxthausen. Developing a domain model for relay circuits. Int. J. Software and Informatics 3(2-3), 241-272 (2009).
11. T. ten Hoeve. Model Based Testing of a PLC Based Interlocking System, MSC Thesis, University of Twente, 2012
12. K. Kanso, F. Moller, A. Setzer. Automated verification of signalling principles in railway interlocking systems. Electron. Notes Theor. Comput. Sci. 250(2), 19-31 (2009).
13. H. Löding, J. Peleska. Timed Moore Automata: Test Data Generation and Model Checking. ICST '10 pp. 449-458 (2010).
14. S. P. Miller, M. W. Whalen, D. D. Cofer. Software model checking takes off. In: Commun. ACM '10 vol. 53 no. 2pp. 58-64 (2010).
15. S. Weißleder. Test models and coverage criteria for automatic modelbased test generation with UML state machines. PhD Thesis (2010).