Using repairable fault trees for the evaluation of design choices for critical repairable systems

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2005, Pages 163-172

  Flammini, Francesco ^a,c   Mazzocca, Nicola ^a   Iacono, Mauro ^b   Marrone, Stefano ^b,c  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^b SECOND UNIVERSITY OF NAPLES   (Italy)

^c Ansaldo Signal Ansaldo Segnalamento Ferroviario ^*  (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

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);

EID: 33846992994     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2005.26     Document Type: Conference Paper

References (16)

1. H. Ascher and H. Feingold. Repairable Systems Reliability. Marcel Dekker Inc., 1984.
2. A. Avizienis, J. Laprie, and B. Randell. Fundamental Concepts of Dependability. LAAS-CNRS, 2001.
3. R. Barlow and F. Proschan. Mathematical Theory of Reliability. John Wiley and Sons Inc., 1965.
4. C. Cassady, E. Pohl, and W. Murdock. Selective maintenance modeling for industrial systems. Journal of Quality in Maintenance Engineering, 7-2:104-117, 2001.
5. 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.
6. M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley and Sons, 1995.
7. H. Pham and H. Wang. Imperfect maintenance. European Journal of Operational Research, 94:425-438, 1996.
8. E. Pohl and E. Mykytka. Simulation modeling for reliability analysis. Tutorial Notes of the Annual Reliability and Maintainability Symposium, 2000.
9. 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.
10. W. Rice, C. Cassady, and J. Nachlas. Optimal maintenance plans under limited maintenance time. Industrial Engineering Research '98 Conference Proceedings, 1998.
11. S. Ross. CENELEC: EN50126 Railways Applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS).
12. S. Ross. Introduction to Probability Models, Seventh Edition. Harcourt Academic Press, 1989.
13. R. Sahner, K. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Computer Systems; An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publisher, 1996.
14. UIC. ERTMS/ETCS class1 System Requirements Specification, SUBSET-026, issue 2.2.2. 2002.
15. UNISIG. ERTMS/ETCS RAMS Requirements Specification, Ref. 96s1266. 1996.
16. V. Vittorini, M. Iacono, N. Mazzocca, and G. Franceschinis. Osmosys: a new approach to multi-formalism modeling of systems. Journal of Software and System Modeling, 3(1):68-71, March 2004.