lnu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Using repairable fault trees for the evaluation of design choices for critical repairable systems
Universitá di Napoli “Federico II”, Italy. (CPS)ORCID-id: 0000-0002-2833-7196
Universitá di Napoli “Federico II”, Italy.
Seconda Universitá di Napoli, Italy.
Seconda Universitá di Napoli, Italy.
2005 (engelsk)Inngår i: Proceedings of IEEE International Symposium on High Assurance Systems Engineering, IEEE, 2005, s. 163-172Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Critical repairable systems are characterized by complex architecture and requirements. The evaluation of benefits produced by repair policies on the overall system availability is not straightforward, as policies can be very articulated and different. In order to support this evaluation process, the Repairable Fault Tree (RFT) formalism revealed to be useful and suitable to represent complex repair policies by extending the existing Fault Tree formalism. In this paper we show how to exploit RFT advantages by evaluating the effects of different repair policies on the availability of the most critical component of ERTMS/ETCS (an European railway standard) systems: the Radio Block Centre (RBC).

sted, utgiver, år, opplag, sider
IEEE, 2005. s. 163-172
Emneord [en]
Repairable fault trees (RFT), Repairable systems, System availability, Computational complexity, Computer architecture, Computer software selection and evaluation, Fault tolerant computer systems, Formal logic, Trees (mathematics)
HSV kategori
Forskningsprogram
Datavetenskap, Programvaruteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-73697DOI: 10.1109/HASE.2005.26Scopus ID: 2-s2.0-33846992994ISBN: 0769523773 (tryckt)ISBN: 9780769523774 (tryckt)OAI: oai:DiVA.org:lnu-73697DiVA, id: diva2:1213848
Konferanse
HASE 2005: Ninth IEEE International Symposium on High-Assurance Systems Engineering, 12-14 October 2005, Heidelberg
Tilgjengelig fra: 2018-06-05 Laget: 2018-06-05 Sist oppdatert: 2019-03-07bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Flammini, Francesco

Søk i DiVA

Av forfatter/redaktør
Flammini, Francesco

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 43 treff
RefereraExporteraLink to record
Permanent link

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