Search: onr:"swepub:oai:DiVA.org:mdh-47757" >
Enabling the usage ...
Enabling the usage of UML in the verification of railway systems : The DAM-rail approach
-
- Bernardi, S. (author)
- Centro Universitario de la Defensa Academia General Militar, Spain
-
- Flammini, Francesco, Senior Lecturer, 1978- (author)
- AnsaldoSTS, Business Innovation Unit, Italy,CPS
-
- Marrone, S. (author)
- Seconda Università di Napoli, Italy
-
show more...
-
- Mazzocca, N. (author)
- Università di Napoli “Federico II”, Italy
-
- Merseguer, J. (author)
- Universidad de Zaragoza, Spain
-
- Nardone, R. (author)
- Università di Napoli “Federico II”, Italy
-
- Vittorini, V. (author)
- Università di Napoli “Federico II”, Italy
-
show less...
-
(creator_code:org_t)
- Elsevier, 2013
- 2013
- English.
-
In: Reliability Engineering & System Safety. - : Elsevier. - 0951-8320 .- 1879-0836. ; 120, s. 112-126
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
show less...
Abstract
Subject headings
Close
- The need for integration of model-based verification into industrial processes has produced several attempts to define Model-Driven solutions implementing a unifying approach to system development. A recent trend is to implement tool chains supporting the developer both in the design phase and V&V activities. In this Model-Driven context, specific domains require proper modelling approaches, especially for what concerns RAM (Reliability, Availability, Maintainability) analysis and fulfillment of international standards. This paper specifically addresses the definition of a Model-Driven approach for the evaluation of RAM attributes in railway applications to automatically generate formal models. For this aim we extend the MARTE-DAM UML profile with concepts related to maintenance aspects and service degradation, and show that the MARTE-DAM framework can be successfully specialized for the railway domain. Model transformations are then defined to generate Repairable Fault Tree and Bayesian Network models from MARTE-DAM specifications. The whole process is applied to the railway domain in two different availability studies. © 2013 Elsevier Ltd.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Keyword
- Availability analysis
- Formal models
- Model-Driven engineering
- Railway systems
- RAM requirements
- UML profiles
- Bayesian networks
- Dams
- Markup languages
- Railroads
- Rails
- Reliability analysis
- Unified Modeling Language
- Formal model
- Railway system
- Railroad transportation
- Software Technology
- Programvaruteknik
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database