A multiformalism modular approach to ertms/etcs failure modeling

International Journal of Reliability, Quality and Safety Engineering

Volumn 21, Issue 1, 2014, Pages

  Flammini, Francesco ^a   Marrone, Stefano ^b   Iacono, Mauro ^b   Mazzocca, Nicola ^c   Vittorini, Valeria ^c  

^a Innovation and Competitiveness Unit   (Italy)

^b SECOND UNIVERSITY OF NAPLES   (Italy)

^c UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

ERTMS ETCS; multiformalism modeling; nonfunctional properties; RAM requirements; system design

Indexed keywords

FORESTRY; RAILROADS; SYSTEMS ANALYSIS;

ERTMS/ETCS; GENERALIZED STOCHASTIC PETRI NETS; IMPROVING PERFORMANCE; MULTI-FORMALISM MODELS; NON FUNCTIONAL PROPERTIES; NON-FUNCTIONAL REQUIREMENTS; RAILWAY SIGNALLING SYSTEMS; REFERENCE ARCHITECTURE;

RAILROAD TRAFFIC CONTROL;

FAILURE; FORESTRY; ROADS; SYSTEMS ENGINEERING;

EID: 84893763139     PISSN: 02185393     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218539314500016     Document Type: Article

References (35)

1. UIC, ERTMS/ETCS class1 system requirements specification, ref. SUBSET-026, issue 2.2.2 (2002).
2. M.W. Pollack, Train control. Automating the world's railways for safety, IEEE Potentials 17(1) (1998) 8-12.
3. A. U. H. Sheikh, D. C. Coll, R. G. Ayers and J. H. Bailey, ATCS: Advanced train control system radio data link design considerations, IEEE Trans. Veh. Technol. 39(3) (1990) 256-262.
4. A. Amendola, L. Impagliazzo, P. Marmo and F. Poli, Experimental evaluation of computer-based railway control systems, Proc. 27th Int. Symp. Fault-Tolerant Computing (IEEE Computer Society, 1997), pp. 380-384.
5. N. Aoumeur and G. Saake, Towards an adequate framework for specifying and validating runtime evolving complex discrete-event systems, in Proc. Workshop on Modelling of Objects, Components and Agents (MOCA 2001) (2001), pp. 1-19.
6. J. Padberg, L. Jansen, H. Ehrig, E. Schnieder and R. Heckel, Cooperability in train control systems: Specification of scenarios using open nets, J. Integr. Des. Process Sci. 5(1) (2001) 3-21.
7. M. M. Hörste and E. Schnieder, Formal modelling and simulation of train control systems using petri nets, in FM '99: Proc. Wold Congress on Formal Methods in the Development of Computing Systems-Volume II (Springer-Verlag, London, UK, 1999), p. 1867.
8. A. G. Hassami and A. G. Foord, Systems safety - A real example (european rail traffic management system, ERTMS), Second Int. Cont. Human Interfaces in Control Rooms, Cockpits and Command Centres, 2001, IEE Conf. Publications, No. 481 (2001), pp. 327-334.
9. P. di Tommaso, R. Esposito, P. Marmo and A. Orazzo, Hazard analysis of complex distributed railway systems, in Proc. 22nd Int. Symposium on Hazand Analysis of Complex Distributed Railway Systems (2003), pp. 283-292.
10. A. Zimmermann and G. Hommel, Towards modeling and evaluation of ETCS realtime communication and operation, J. Syst. Softw. 77(1) (2005) 47-54.
11. J. Trowitzsch and A. Zimmermann, Using UML state machines and petri nets for the quantitative investigation of ETCS, in valuetools'06: Proc. 1st Int. Conf. Performance Evaluation Methodolgies and Tools (ACM, 2006), p. 34.
12. R. Esposito, A. Sanseviero, A. Lazzaro and P. Marmo, Formal verification of ERTMS Euroradio safety critical protocol, IEEE Symp. on Formal Methods for Railway Operation and Control Systems (IEEE Computer Society, 2003), pp. 21-29.
13. F. Flammini, S. Marrone, N. Mazzocca and V. Vittorini, Modelling system reliability aspects of ERTMS/ETCS by fault trees and bayesian networks, in ESREL '06: Proc. 15th European Safety and Reliability Conf. (ESREL 2006 ) (Taylor and Francis, 2006), 2675-2683.
14. F. Flammini, S. Marrone, N. Mazzocca and V. Vittorini, A new modeling approach to the safety evaluation of n-modular redundant computer systems in presence of imperfect maintenance, Reliab. Eng. Syst. Saf. 94 (2009) 1422-1432.
15. UNISIG, ERTMS/ETCS RAMS requirements specification, ref. 96s1266 (1998).
16. CENELEC, EN50126 railways applications - The specification and demonstration of reliability, availability, maintainability and safety (RAMS) (1999).
17. D. M. Nicol, W. H. Sanders and K. S. Trivedi, Model-based evaluation: From dependability to security, IEEE Trans. Dependable. Secur. Comput. 1(1) (2004) 48-64.
18. P. J. Mosterman and H. Vangheluwe, Computer automated multi-paradigm modeling: An introduction, Simulation 80(9) (2004) 433-450.
19. A. Joshi and M. P. E. Heimdahl, Behavioral fault modeling for model-based safety analysis, IEEE Int. Symp. High-Assurance Systems Engineering (2007), pp. 199-208.
20. V. Vittorini, M. Iacono, N. Mazzocca and G. Franceschinis, The OsMoSys approach to multi-formalism modeling of systems, Softw. Syst. Model. 3(1) (2004) 68-81.
21. M. Iacono, E. Barbierato and M. Gribaudo, The SIMTHESys multiformalism modeling framework, Comput. Math. Appl. 64(12) (2012) 3828-3839.
22. S. Bernardi, F. Flammini, S. Marrone, N. Mazzocca, J. Merseguer, R. Nardone and V. Vittorini, Enabling the usage of UML in the verification of railway systems: The DAM-rail approach, Reliab. Eng. Syst. Saf. 120 (2013) 112-126.
23. J. Peleska, J. Feuser and A. E. Haxthausen, The model-driven openETCS paradigm for secure, safe and certifiable train control systems, Railway Safety, Reliability, and Security: Technologies and Systems Engineering (IGI Global, Inc., 2012) 22-52.
24. F. Flammini, S. Marrone, N. Mazzocca, R. Nardone and V. Vittorini, Model-driven V&V processes for computer based control systems: A unifying perspective, in Proc. 5th Int. Conf. Leveraging Applications of Formal Methods, Verification and Validation: Applications and Case Studies - Volume Part II (Heraklion, Crete, Greece, 2012), pp. 190-204.
25. NUREG, Fault Tree Handbook (NUREG, 1981).
26. D. Codetta-Raiteri, M. Iacono, G. Franceschinis and V. Vittorini, Repairable fault tree for the automatic evaluation of repair policies, in DSN '04: Proc 2004 Int. Conf. Dependable Systems and Networks (IEEE Computer Society, Washington, DC, USA, 2004), p. 659.
27. A. Bobbio, L. Portinale, M. Minichino and E. Ciancamerla, Comparing fault trees and bayesian networks for dependability analysis, in Proc. 18th Int. Conf. Computer Safety, Reliability and Security, SAFECOMP99 (1999), pp. 310-322.
28. The world of ERTMS, Available at: http://www.ertms.com/.
29. F. Flammini, N. Mazzocca, M. Iacono and S. Marrone, Using repairable fault trees for the evaluation of design choices for critical repairable systems, IEEE Int. Symp. High-Assurance Systems Engineering (2005), pp. 163-172.
30. S. Bernardi and S. Donatelli, Building petri net scenarios for dependable automation systems, in Proc. 10th Int. Workshop on Petri Nets and Performance Models (PNPM 2003 ) (IEEE Computer Society, 2003), pp. 72-81.
31. G. Bucci, L. Sassoli and E. Vicario, Correctness verification and performance analysis of real-time systems using stochastic preemptive time petri nets, IEEE Trans. Softw. Eng. 31(11) (2005) 913-927.
32. K. Goseva-Popstojanova and K. S. Trivedi, Stochastic modeling formalisms for dependability, performance and performability, in Performance Evaluation: Origins and Directions (Springer-Verlag, London, UK, 2000), pp. 403-422.
33. R. German, Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets (John Wiley & Sons, Inc., New York, NY, USA, 2000).
34. F. Gagliardi Cozman, JavaBayes - User manual, Available at: http://www.cs.cmu.edu/~javabayes/.
35. F. Moscato, F. Flammini, G. Di Lorenzo, V. Vittorini, S. Marrone and M. Iacono, The software architecture of the osmosys multisolution framework, in ValueTools '07: Proc. 2nd Int. Conf. Performance Evaluation Methodologies and Tools (ICST, Brussels, Belgium, 2007), pp. 1-10.