Functional Dependence

Functional dependence takes place when the malfunction of one system component causes other components within the same system to become unusable or inaccessible. The functional dependence behavior is modeled via Functional DEPendence (FDEP) gates in the dynamic fault tree (FT) analysis. This chapter discusses a logic OR replacement method for the reliability analysis of systems with FDEP and perfect fault coverage. It presents a combinatorial approach for reliability analysis of systems subject to imperfect fault coverage. The combinatorial algorithm can handle various complicated cases including cascading FDEPs, combined trigger events, shared dependent events, and dual-role events. The algorithm, which practices the divide and conquer principle based on the total probability law, is computationally efficient. The reduced reliability problems generated are simplified and independent problems without FDEP, which can be solved in parallel given available computing resources using any traditional FT analysis method.

References

Stallings, W. (2009). Computer Organization and Architecture, 8e. Prentice Hall.
Google Scholar
Xing, L., Levitin, G., Wang, C., and Dai, Y. (2013). Reliability of systems subject to failures with dependent propagation effect. IEEE Transactions Systems, Man, and Cybernetics: Systems 43 (2): 277–290.
Web of Science® Google Scholar
Dugan, J.B. and Doyle, S.A. (1996). New results in fault-tree analysis. In: Tutorial Notes of Annual Reliability and Maintainability Symposium. Las Vegas, Nevada, USA.
Google Scholar
Dugan, J.B., Bavuso, S.J., and Boyd, M.A. (1992). Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability 41 (3): 363–377.
10.1109/24.159800
Web of Science® Google Scholar
Merle, G., Roussel, J-M., and Lesage, J-J. (2010). Improving the efficiency of dynamic fault tree analysis by considering gates FDEP as static. In: Proceeding of European Safety and Reliability Conference. Rhodes, Greece.
Google Scholar
Misra, K.B. (2008). Handbook of Performability Engineering. London: Springer-Verlag.
10.1007/978-1-84800-131-2
Google Scholar
Bryant, R.E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 35 (8): 677–691.
10.1109/TC.1986.1676819
Web of Science® Google Scholar
Rauzy, A. (1993). New algorithms for fault tree analysis. Reliability Engineering and System Safety 40: 203–211.
10.1016/0951-8320(93)90060-C
Web of Science® Google Scholar
Zang, X., Sun, H., and Trivedi, K.S. (1999). A BDD-based algorithm for reliability analysis of phased-mission systems. IEEE Transactions on Reliability 48 (1): 50–60.
10.1109/24.765927
Web of Science® Google Scholar
Bouricius, W.G., Carter, W.C., and Schneider, P.R. (1969). Reliability modeling techniques for self-repairing computer systems. In: Proceedings of 24th Ann. ACM., National Conference, 295–309, New York, NY, USA.
Google Scholar
Arnold, T.F. (1973). The concept of coverage and its effect on the reliability model of a repairable system. IEEE Transactions on Computers C-22: 325–339.
10.1109/T-C.1973.223703
Web of Science® Google Scholar
Levitin, G. and Amari, S.V. (2007). Reliability analysis of fault tolerant systems with multi-fault coverage. International Journal of Performability Engineering 3 (4): 441–451.
Google Scholar
Myers, A.F. (2007). k-out-of-n: G system reliability with imperfect fault coverage. IEEE Transactions on Reliability 56 (3): 464–473.
Google Scholar
Myers, A.F. (2008). Achievable limits on the reliability of k-out-of-n: G systems subject to imperfect fault coverage. IEEE Transactions on Reliability 57: 349–354.
10.1109/TR.2008.923475
Web of Science® Google Scholar
Dugan, J.B. (1991). Automated analysis of phased-mission reliability. IEEE Transactions on Reliability 40 (1): 45–52,55.
10.1109/24.75332
Web of Science® Google Scholar
Gulati, R. and Dugan, J.B. (1997). A modular approach for analyzing static and dynamic fault trees. In: Proceedings of the Annual Reliability and Maintainability Symposium. Philadelphia, PA, USA.
Google Scholar
Manian, R., Dugan, J.B., Coppit, D., and Sullivan, K.J. (1998). Combining various solution techniques for dynamic fault tree analysis of computer systems. In: Proceedings of the 3rd IEEE International High-Assurance Systems Engineering Symposium, 21–28. Washington, DC, USA.
Google Scholar
Meshkat, L., Xing, L., Donohue, S., and Ou, Y. (2003). An overview of the phase-modular fault tree approach to phased-mission system analysis. In: Proceedings of The International Conference on Space Mission Challenges for Information Technology. Pasadena, CA, USA.
Google Scholar
Sune, V. and Carrasco, J.A. (1997). A method for the computation of reliability bounds for non-repairable fault-tolerant systems In: Proceedings of the 5th IEEE International Symposium on Modeling, Analysis, and Simulation of Computers and Telecommunication System, 221–228. Haifa, Israel.
Google Scholar
Sune, V. and Carrasco, J.A. (2001). A failure-distance based method to bound the reliability of non-repairable fault-tolerant systems without the knowledge of minimal cutsets. IEEE Transactions on Reliability 50 (1): 60–74.
Google Scholar
Xing, L., Morrissette, B.A., and Dugan, J.B. (2014). Combinatorial reliability analysis of imperfect coverage systems subject to functional dependence. IEEE Transactions on Reliability 63 (1): 367–382.
10.1109/TR.2014.2299431
Web of Science® Google Scholar
Xing, L. (2008). Handling functional dependence without using Markov models. International Journal of Performability Engineering, Short Communications 4 (1): 95–97.
Google Scholar
Xing, L. and Dugan, J.B. (2002). Analysis of generalized phased mission system reliability, performance and sensitivity. IEEE Transactions on Reliability 51 (2): 199–211.
10.1109/TR.2002.1011526
Web of Science® Google Scholar
Chang, Y., Amari, S.V., and Kuo, S. (2004). Computing system failure frequencies and reliability importance measures using OBDD. IEEE Transactions on Computers 53 (1): 54–68.
10.1109/TC.2004.1255790
Web of Science® Google Scholar
Cormen, T.H., Leiserson, C.E., Rivest, R.L., and Stein, C. (2001). Introduction to Algorithms, 2e. MIT Press.
CAS PubMed Google Scholar
Brace, K.S., Rudell, R.L., and Bryant, R.E. (1990). Efficient implementation of a BDD package In: Proceedings of the 27th ACM/IEEE Design Automation Conference, 40–45. Orlando, FL, USA.
Google Scholar
Reibman, A., Smith, R., and Trivedi, K.S. (1989). Markov and Markov reward model transient analysis: an overview of numerical approaches. European Journal of Operational Research 40 (2): 257–267.
Google Scholar
Dugan, J.B., Venkataraman, B., and Gulati, R. (1997). DIFtree: A software package for the analysis of dynamic fault tree models. In: Proceedings of the Annual Reliability and Maintainability Symposium, 64–70. Philadelphia, PA, USA.
Google Scholar
Rausand, M. and Hoyland, A. (2003). System Reliability Theory: Models and Statistical Methods, Wiley Series in Probability and Mathematical Statistics. Wiley.
Google Scholar
Davari, S. and Zarandi, M.H.F. (2013). The single-allocation hierarchical hub-median problem with fuzzy flows. In: Proceedings of the 5th International Workshop Soft Computing Applications, 165–181.
Google Scholar

Dynamic System Reliability: Modeling and Analysis of Dynamic and Dependent Behaviors