Enabling the usage of UML in the verification of railway systems: The DAM-rail approach

Reliability Engineering and System Safety

Volumn 120, Issue , 2013, Pages 112-126

  Bernardi, S ^a   Flammini, F ^b   Marrone, S ^c   Mazzocca, N ^d   Merseguer, J ^e   Nardone, R ^d   Vittorini, V ^d  

^a Centro Universitario de la Defense Academic General Militar   (Spain)

^b ANSALDO ENERGIA   (Italy)

^c SECOND UNIVERSITY OF NAPLES   (Italy)

^d UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^e UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Availability analysis; Formal models; Model Driven engineering; Railway systems; RAM requirements; UML profiles

Indexed keywords

BAYESIAN NETWORKS; DAMS; MARKUP LANGUAGES; RAILROADS; RAILS; RELIABILITY ANALYSIS; UNIFIED MODELING LANGUAGE;

AVAILABILITY ANALYSIS; FORMAL MODEL; MODEL-DRIVEN ENGINEERING; RAILWAY SYSTEM; UML PROFILES;

RAILROAD TRANSPORTATION;

EID: 84885573893     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2013.06.032     Document Type: Article

References (31)

1. Jürjens J. Secure systems development with UML. Springer; 2005.
2. Petriu D, Woodside M. An intermediate metamodel with scenarios and resources for generating performance models from UML designs. Software and Systems Modeling 2007;6(2):163-84, http://dx.doi.org/10.1007/s10270-006-0026-8. (Pubitemid 46882234)
3. Mustafiz S, Sun X, Kienzle J, Vangheluwe H. Model-driven assessment of system dependability. Software and Systems Modeling 2008;7:487-502.
4. Cortellessa V, Singh H, Cukic H. Early reliability assessment of UML based software models In: Proceedings of the third international workshop on software and performance, WOSP '02. ACM, New York, NY, USA; 2002. pp. 302-9.
5. Casola V, Fasolino A, Mazzocca N, Tramontana P. An AHP-based framework for quality and security evaluation. In: Proceedings of the 12th IEEE international conference on computational science and engineering, CSE 2009, vol. 3; 2009. pp. 405-11.
6. Bernardi S, Flammini F, Marrone S, Merseguer J, Papa C, Vittorini V. Model-driven availability evaluation of railway control systems. In: SAFECOMP 2011. Lecture notes in computer science, vol. 6894; 2011.
7. Selic B. A systematic approach to domain-specific language design using UML. In: The 10th IEEE international symposium on object and component-oriented real-time distributed computing (IS0RC'07); 2007.
8. Bernardi S, Merseguer J, Petriu DC. A dependability profile within MARTE. Software and System Modeling 2011;10(3):313-36.
9. Codetta Raiteri D, Iacono M, Franceschinis G, Vittorini V. Repairable fault tree for the automatic evaluation of repair policies. In: Proceedings of the 2004 international conference on dependable systems and networks; 2004. pp. 659-68.
10. Charniak E. Bayesian networks without tears: making Bayesian networks more accessible to the probabilistically unsophisticated. AI Magazine 1991;12 (4):50-63.
11. UNISIG, ERTMS/ETCS RAMS requirements specification, ref. 96s1266.
12. CENELEC, EN50126 railways applications - the specification and demonstration of reliability, availability, maintainability and safety (RAMS); 1999.
13. OMG, Unified modeling language: infrastructure and superstructure, version 2.4, formal/11-08-05; May 2011.
14. OMG, Object constraint language, version 2.3, formal/12-01-01; January 2012.
15. OMG, uMl profile for MARTE: modeling and analysis of real-time embedded systems, version 1.1, formal/11-06-02; June 2011.
16. Avizienis A, Laprie J-C, Randell B, Landwehr CE. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 2004;1(1):11-33. (Pubitemid 40134576)
17. F. Lagarde, et al. Improving UML profile design practices by leveraging conceptual domain models. In: The 22nd international conference on automated software engineering, Atlanta, USA. ACM; 2007. p. 445-8.
18. G. Cozman, Java Bayes - user manual, version 0.346.
19. Sahner R, Trivedi K, Puliafito A. Performance and reliability analysis of computer systems (an example-based approach using the Sharpe software). IEEE Transactions on Reliability 1997;46(3):441.
20. Baarir S, Beccuti M, Cerotti D, De Pierro M, Donatelli S, Franceschinis G. The Great SPN tool: recent enhancements. SIGMETRICS Performance Evaluation Review 2009;36(4):4-9.
21. Fleurey F, Steel J, Baudry B. Validation in model-driven engineering: testing model transformations. In: First international workshop on model, design and validation; 2004.
22. Asztalos M, Lengyel L, Levendovszky T. Towards automated, formal verification of model transformations. In: Proceedings of ICST '10. IEEE Computer Society, Washington, DC, USA; 2010. pp. 15-24.
23. Wagelaar D, Straeten RVD, Deridder D. Module superimposition: a composition technique for rule-based model transformation languages. Software and System Modeling 2010;9(3):285-309.
24. Jouault F, Allilaire F, Bézivin J, Kurtev I. ATL: a model transformation tool. Science of Computer Programming 2008;72(1-2):31-9.
25. Marrone, S, Papa, C, Vittorini, V. Multiformalism and transformation inheritance for dependability analysis of critical systems. In: Proceedings of eighth integrated formal methods, IFM'10; 2010. pp. 215-28.
26. Bobbio A, Portinale L, Minichino M, Ciancamerla E. Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliability Engineering and System Safety 2001;71(3):249-60. (Pubitemid 32077203)
27. UIC, ERTMS/ETCS class1 system requirements specification, ref. SUBSET-026, issue 2.2.2; 2002.
28. Flammini, F, Mazzocca, N, Iacono, M, Marrone, S. Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems. In: Proceedings of HASE'05; 2005. pp. 163-72.
29. Fiaschetti, A, Lavorato, F, Suraci, V, Palo, A, Taglialatela, A, Morgagni, A, et al. On the use of semantic technologies to model and control security, privacy and dependability in complex systems. In: Proceedings of SAFECOMP'11; 2011. pp. 467-79.
30. Fantechi A, Flammini F, Gnesi S. Formal methods for intelligent transportation systems. In: Proceedings of the fifth international conference on leveraging applications of formal methods, verification and validation: applications and case studies, ISoLA'12; 2012. pp. 187-9.
31. Hutchinson J. An empirical assessment of model driven development in industry. Ph.D. thesis, B.Sc. Hons Lancaster University; 2011.