lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A multiformalism modular approach to ertms/etcs failure modeling
AnsaldoSTS, Italy. (CPS)ORCID iD: 0000-0002-2833-7196
Seconda Universitá di Napoli, Italy.
Seconda Universitá di Napoli, Italy.
Universitá di Napoli "Federico II", Italy.
Show others and affiliations
2014 (English)In: International Journal of Reliability, Quality and Safety Engineering (IJRQSE), ISSN 0218-5393, Vol. 21, no 1, article id 1450003Article in journal (Refereed) Published
Abstract [en]

European Railway Traffic Management System/European Train Control System (ERTMS/ETCS) is a recent standard aimed at improving performance, safety and inter-operability of modern railways. In order to be compliant to ERTMS/ETCS, a railway signalling system must meet strict nonfunctional requirements on system level failure modes. In this paper, a multiformalism model is employed to perform an availability analysis of an ERTMS/ETCS reference architecture at early phases of its development cycle. At this aim, a bottom-up analysis is performed from subsystem failure models (expressed by means of Generalized Stochastic Petri Nets, Fault Trees and Repairable Fault Trees) up to the overall system model. The modular approach, here used, allows to evaluate the influence of basic design parameters on the probability of system-level failure modes and demonstrates that system availability is within the bound required by the ERTMS/ETCS specification. The results show that the multiformalism modeling approach helps to cope with complexity, eases the verification of availability requirements and can be successfully applied to the analysis of complex critical systems. © 2014 World Scientific Publishing Company.

Place, publisher, year, edition, pages
World Scientific, 2014. Vol. 21, no 1, article id 1450003
Keywords [en]
ERTMS/ETCS, multiformalism modeling, nonfunctional properties, RAM requirements, system design, Forestry, Railroads, Systems analysis, Generalized Stochastic Petri nets, Improving performance, Multi-formalism models, Non functional properties, Non-functional requirements, Railway signalling systems, Reference architecture, Railroad traffic control, Failure, Roads, Systems Engineering
National Category
Embedded Systems
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-73653DOI: 10.1142/S0218539314500016Scopus ID: 2-s2.0-84893763139OAI: oai:DiVA.org:lnu-73653DiVA, id: diva2:1213278
Available from: 2018-06-04 Created: 2018-06-04 Last updated: 2019-03-07Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
In the same journal
International Journal of Reliability, Quality and Safety Engineering (IJRQSE)
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 69 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf