Study on model-based safety verification of automatic train protection system

PACIIA 2009 - 2009 2nd Asia-Pacific Conference on Computational Intelligence and Industrial Applications

Volumn 1, Issue , 2009, Pages 467-470

  Wang, Haifeng ^a   Liu, Shuo ^a   Gao, Chunhai ^a  

^a BEIJING JIAOTONG UNIVERSITY   (China)

Author keywords

ATP system; Model based approach; Safety verification; SCADE

Indexed keywords

AUTOMATIC TRAIN PROTECTION SYSTEMS; COST-INTENSIVE; DEVELOPMENT ENVIRONMENT; ELECTRONIC DEVICE; KEY EQUIPMENT; MODEL BASED VERIFICATION; MODEL-BASED; RAILWAY TRANSPORTATION; SAFETY PROPERTY; SAFETY VERIFICATION; SYSTEM MODELS; SYSTEM SAFETY; TEST CASE; TRAIN CONTROL; TRAIN PROTECTION;

ARTIFICIAL INTELLIGENCE; AUTOMATIC TRAIN CONTROL; FORMAL METHODS; INDUSTRIAL APPLICATIONS;

SAFETY TESTING;

EID: 77749298934     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PACIIA.2009.5406388     Document Type: Conference Paper

References (9)

1. BS EN 50128: 2001, "Railway applications Communications, signalling and processing systems Software for railway control and protection systems", European Committee for Electrotechnical Standardization, May 2001.
2. S. Bacherini, S. Bianchi, L. Capecchi, A. Felleca, A. Fantechi, E. Spinicci, "Modelling a railway signalling system using SDL", Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), Budapest, Hungary, 15-16 May 2003.
3. A. Cimatti, F. Giunchiglia, G. Mongardi, D. Romano, F. Torielli and P. Traverso, "Formal Verification of a Railway Interlocking System using Model Checking", Formal Aspects ofComputing, Vol 10, pp. 361-380.
4. Michele Banci, Alessandro Fantechi, "Geographical Versus Functional Modelling by Statecharts of Interlocking Systems", Electronic Notes in Theoretical Computer Science, Volume 133,31 May 2005, pp.3-19
5. Holger Giese, Stefan Henkler, "A survey of approaches for the visual model-driven development of next generation software-intensive systems", Journal of Visual Languages and Computing, Volume 17, Issue 6, December 2006, pp. 528-550.
6. P. A. Abdulla, J. Deneux, G. Stalmarck, H. Agren, and O. Akerlund, "Designing safe, reliable systems using SCADE", in Proceedings of ISOLA'04. Springer-Verlag, 2004.
7. Gudemann M., Angerer A., Ortmeier F., Reif W., "Modeling of self-adaptive systems with SCADE", IEEE International Symposium on Circuits and Systems, 27-30 May 2007 pp. 2922-2925.
8. E. Goddard, "Electric traction systems. Overview ofsignalling and train control systems", IET Professional Development Course on Electric Traction Systems, Manchester, UK, 3-7 Nov. 2008.
9. Esterel Technologies, Efficient Development of Safe Railway Applications Software with EN 50128 Objectives Using SCADE Suite™ , Esterel Technologies, Paris France, 2003. http://www.estereltechnologies.com.