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
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 (Engelska)Ingår i: Proceedings of IEEE International Symposium on High Assurance Systems Engineering, IEEE, 2005, s. 163-172Konferensbidrag, Publicerat paper (Refereegranskat)
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).

Ort, förlag, år, upplaga, sidor
IEEE, 2005. s. 163-172
Nyckelord [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)
Nationell ämneskategori
Datorsystem
Forskningsämne
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
Konferens
HASE 2005: Ninth IEEE International Symposium on High-Assurance Systems Engineering, 12-14 October 2005, Heidelberg
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

Person

Flammini, Francesco

Sök vidare i DiVA

Av författaren/redaktören
Flammini, Francesco
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

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