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
Model-driven availability evaluation of railway control systems
Academia General Militar, Spain.
AnsaldoSTS, Italy. (CPS)ORCID-id: 0000-0002-2833-7196
Seconda Università di Napoli, Italy.
Universidad de Zaragoza, Spain.
Visa övriga samt affilieringar
2011 (Engelska)Ingår i: Computer Safety, Reliability, and Security. SAFECOMP 2011, Springer, 2011, s. 15-28Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Maintenance of real-world systems is a complex task involving several actors, procedures and technologies. Proper approaches are needed in order to evaluate the impact of different maintenance policies considering cost/benefit factors. To that aim, maintenance models may be used within availability, performability or safety models, the latter developed using formal languages according to the requirements of international standards. In this paper, a model-driven approach is described for the development of formal maintenance and reliability models for the availability evaluation of repairable systems. The approach facilitates the use of formal models which would be otherwise difficult to manage, and provides the basis for automated models construction. Starting from an extension to maintenance aspects of the MARTE-DAM profile for dependability analysis, an automated process based on model-to-model transformations is described. The process is applied to generate a Repairable Fault Trees model from the MARTE-DAM specification of the Radio Block Centre - a modern railway controller. © 2011 Springer-Verlag.

Ort, förlag, år, upplaga, sidor
Springer, 2011. s. 15-28
Nyckelord [en]
Automated Model Generation, ERTMS/ETCS system, Model Transformation, Repairable Fault Trees, UML profiles, Fault-trees, Model generation, Automation, Formal languages, Hydraulic structures, Maintainability, Plant extracts, Railroads, Reliability, Security of data, Unified Modeling Language, Computer control systems
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Datavetenskap, Programvaruteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-73676DOI: 10.1007/978-3-642-24270-0_2Scopus ID: 2-s2.0-80052974180ISBN: 9783642242694 (tryckt)OAI: oai:DiVA.org:lnu-73676DiVA, id: diva2:1213903
Konferens
International Conference on Computer Safety, Reliability, and Security SAFECOMP, 19- 22 September 2011, Naples
Tillgänglig från: 2018-06-05 Skapad: 2018-06-05 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
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 209 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