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
Using repairable fault trees for the evaluation of design choices for critical repairable systems
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0002-2833-7196
2005 (English)In: Proceedings of IEEE International Symposium on High Assurance Systems Engineering, 2005, p. 163-172Conference paper, Published paper (Refereed)
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). © 2005 IEEE.

Place, publisher, year, edition, pages
2005. p. 163-172
Keywords [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)
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73697DOI: 10.1109/HASE.2005.26Scopus ID: 2-s2.0-33846992994ISBN: 0769523773 ISBN: 9780769523774 OAI: oai:DiVA.org:lnu-73697DiVA, id: diva2:1213848
Conference
HASE 2005: Ninth IEEE International Symposium on High-Assurance Systems Engineering, 12 October 2005 through 14 October 2005, Heidelberg
Note

Conference code: 69105; Cited By :25; Export Date: 26 April 2018; Conference Paper; Correspondence Address: Flammini, F.; Dipartimento di Informatica e Sistemistica, Universit√° di Napoli Federico II, via Claudio 21, 80125 Napoli, Italy; email: frflammi@unina.it; References: Ascher, H., Feingold, H., (1984) Repairable Systems Reliability, , Marcel Dekker Inc; Avizienis, A., Laprie, J., Randell, B., (2001) Fundamental Concepts of Dependability, , LAAS-CNRS; Barlow, R., Proschan, F., (1965) Mathematical Theory of Reliability, , John Wiley and Sons Inc; Cassady, C., Pohl, E., Murdock, W., Selective maintenance modeling for industrial systems (2001) Journal of Quality in Maintenance Engineering, 7 -2, pp. 104-117; G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. Greatspn 1.7: Graphical editor and analyzer for timed and stochastic petri nets. Performance Evaluation, special issue, on Performance Modeling Tools, pages 47-68, November 1995; Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G., (1995) Modelling with Generalized Stochastic Petri Nets, , J. Wiley and Sons; Pham, H., Wang, H., Imperfect maintenance (1996) European Journal of Operational Research, 94, pp. 425-438; Pohl, E., Mykytka, E., Simulation modeling for reliability analysis (2000) Tutorial Notes of the Annual Reliability and Maintainability Symposium; D. C. Raiteri, G. Franceschinis, M. Iacono, and V. Vittorini. Repairable fault tree for the automatic evaluation of repair policies. In Proc. of the Performance and Dependability Symposium, July 2004; Rice, W., Cassady, C., Nachlas, J., Optimal maintenance plans under limited maintenance time (1998) Industrial Engineering Research '98 Conference Proceedings; Ross, S., CENELEC: EN50126 Railways Applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS); Ross, S., (1989) Introduction to Probability Models, , Seventh Edition. Harcourt Academic Press; Sahner, R., Trivedi, K., Puliafito, A., (1996) Performance and Reliability Analysis of Computer Systems; An Example-based Approach Using the SHARPE Software Package, , Kluwer Academic Publisher; (2002) ERTMS/ETCS class1 System Requirements Specification, SUBSET-026, issue 2.2.2, , UIC; (1996) ERTMS/ETCS RAMS Requirements Specification, Ref. 96s1266, , UNISIG; Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G., Osmosys: A new approach to multi-formalism modeling of systems (2004) Journal of Software and System Modeling, 3 (1), pp. 68-71. , March

Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-06-05

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
By organisation
Department of computer science and media technology (CM)
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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