lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
Centro Universitario de la Defensa Academia General Militar, Spain.
AnsaldoSTS, Business Innovation Unit, Italy. (CPS)ORCID-id: 0000-0002-2833-7196
Seconda Università di Napoli, Italy.
Università di Napoli “Federico II”, Italy.
Visa övriga samt affilieringar
2013 (Engelska)Ingår i: Reliability Engineering & System Safety, ISSN 0951-8320, E-ISSN 1879-0836, Vol. 120, s. 112-126Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

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.

Ort, förlag, år, upplaga, sidor
Elsevier, 2013. Vol. 120, s. 112-126
Nyckelord [en]
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
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Datavetenskap, Programvaruteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-73665DOI: 10.1016/j.ress.2013.06.032Scopus ID: 2-s2.0-84885573893OAI: oai:DiVA.org:lnu-73665DiVA, id: diva2:1213312
Tillgänglig från: 2018-06-04 Skapad: 2018-06-04 Senast uppdaterad: 2019-03-07Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Flammini, Francesco

Sök vidare i DiVA

Av författaren/redaktören
Flammini, Francesco
I samma tidskrift
Reliability Engineering & System Safety
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 217 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf