Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems
Heidelberg, Germany
October 12-October 14
ISBN: 0-7695-2377-3
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).
Citation:
Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone, "Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems," hase, pp.163-172, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), 2005