Abstract
This paper introduces the concept of persistence and analyzes its influence on reliability of systems with imperfect fault coverage (IFC). A component is persistent if it is always relevant in the system unless the system is failed, and a system is persistent if all the components are persistent. In traditional imperfect fault coverage models, simply coverage models (CMs), the coverage (including identification and isolation) is typically limited to the faulty components regardless of their relevance. The general assumption on system coherence cannot guarantee that a component will be always relevant in the system. Rather, an initially relevant component could become irrelevant later due to the failures of other components, which is unfortunately a missing issue in the traditional CMs. For systems with IFC, it is important to cover the non-persistent components whenever they become irrelevant, so as to prevent their future uncovered faults that may lead to system failure. A new coverage model incorporating the timely coverage of the irrelevant components (in addition to the faulty components) is proposed, which opens up a cost-effective approach to improve the system reliability without increasing redundance.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Pradhan, D.K.: Fault-tolerant computer system design, pp. 135–138. Prentice Hall (1996)
Arnold, T.: The concept of coverage and its effect on the reliability model of a repairable system. IEEE Trans. on Computers C-22, 325–339 (1973)
Amari, S.V., Myers, A.F., Rauzy, A., Trivedi, K.S.: Imperfect coverage models: Status and trends. In: Misra, K.B. (ed.) Handbook of Performability Engineering. Springer (2008)
Doyle, S.A., Dugan, J.B., Patterson-Hine, F.A.: A combinatorial approach to modeling imperfect coverage. IEEE Trans. on Reliability 44(1), 87–94 (1995)
Amari, S.V., Dugan, J.B., Misra, R.B.: A separable method for incorporating imperfect fault-coverage models into combinational models. IEEE Transactions on Reliability 48(3), 267–274 (1999)
Xiang, J., Machida, F., Tadano, K., Maeno, Y.: Coverage of irrelevant components in systems with imperfect fault coverage. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96-A(7), 1649–1652 (2013)
Doyle, S.A., Dugan, J.B., Patterson-Hine, A.: A quantitative analysis of the F18 flight control system. In: Proc. of AIAA Computing in Aerospace, pp. 668–675 (October 1993)
Doyle, S.A., Dugan, J.B.: Dependability assessment using binary decision diagrams (BDDs). In: IEEE Proc. of the 25th International Symposium on Fault-Tolerant Computing, FTCS 1998, pp. 249–258 (January 1998)
Bouricius, W.G., Carter, W.C., Schneider, P.R.: Reliability modeling techniques for self-repairing computer systems. In: 24th Ann. ACM National Conf., pp. 295–309 (1969)
Amari, S.V., Dugan, J.B., Misra, R.B.: Optimal reliability of systems subject to imperfect fault-coverage. IEEE Transactions on Reliability 48(3), 275–284 (1999)
Bavuso, S.J., Rothmann, E., Mittal, N.: Hirel: Hybrid automated reliability predictor (harp) integrated reliability tool system (version 7.0) - harp graphics oriented (go) input user’s guide (1994)
Myers, A.F.: k-out-of-n: G system reliability with imperfect fault coverage. IEEE Trans. on Reliability 56(3), 464–473 (2007)
Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and markov models: Boolean logic drivenMarkov processes. Reliability Engineering & System Safety 82, 149–163 (2003)
Dugan, J.B., Bavuso, S., Boyd, M.: Dynamic fault tree models for fault tolerant computer systems. IEEE Transactions on Reliability 41(3), 363–377 (1992)
Xing, L., Morrissette, B.A., Dugan, J.B.: Efficient analysis of imperfect coverage systems with functional dependency. In: IEEE Proc. of Annual Reliability and Maintain-ability Symposium, RAMS, San Jose, CA, pp. 1–6 (January 2010)
Amari, S.V., McLaughlin, L., Yadlapati, B.: Optimal cost-effective design of parallel systems subject to imperfect fault-coverage. In: Proc. of Annual Reliability and Maintainability Symposium, pp. 29–34. IEEE (2003)
Amari, S., Pham, H., Dill, G.: Optimal design of k-out-of-n:G subsystems subjected to imperfect fault-coverage. IEEE Trans. on Reliability 53, 567–575 (2004)
Levitin, G.: Optimal structure of multi-state systems with uncovered failures. IEEE Trans. on Reliability 57(1), 140–148 (2007)
Myers, A.: Achieveable limits on the reliability of k-out-of-n:g systems subject to imperfect fault coverage. IEEE Trans. on Reliability 57(2), 349–354 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Xiang, J., Machida, F., Tadano, K., Maeno, Y. (2014). Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. In: Bondavalli, A., Di Giandomenico, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol 8666. Springer, Cham. https://doi.org/10.1007/978-3-319-10506-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-10506-2_8
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10505-5
Online ISBN: 978-3-319-10506-2
eBook Packages: Computer ScienceComputer Science (R0)