Advanced Fault Tree Modeling
نویسنده
چکیده
Fault trees show which joint components' faults mean system faults. Fault trees can often be used to determine dependability parameters of systems. Here it is shown that i) binary decision diagrams (BDDs) can also be used to calculate system mean failure frequency, ii) modeling dynamics of fault trees does not always mean Markov modeling, iii) a deeper understanding of interrelations between s-dependent components is supported, rather, by Petri nets than by state transition graphs.
منابع مشابه
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the system-level interactions between component reliabilities. Dynamic fault trees have been shown particularly useful for reliability analysis of embedded computer systems. Dynamic fault trees are a superset of traditional (...
متن کاملAutomatic Modeling of Fault Tree for NuIEEE Transactions on Power Electronics,Clear Power Safety I&C Configuration
The automatic modeling of fault tree for nuclear power safety I&C configuration is designed to meet the requirements of reducing the workload and improving the traceability during the nuclear power safety I&C system reliability assessment work. To complete the fault tree automatic modeling, the Visio Automation software technology is used to analyze the topology of the nuclear power safety I&C ...
متن کاملBridging the gap between Fault Tree Analysis Modeling Tools and the Systems being Modeled
Fault tolerant systems comprise of subsystems that interact with each other in complex ways [Joh89]. As a result, modeling the reliability of these systems calls for sophisticated analytical techniques. A powerful technique to address this issue is dynamic fault tree analysis [Dug92]. But because the semantics on which Dynamic Fault Trees are based are themselves complex, there was a question o...
متن کاملThe Computer Aided Fault Tree Modeling and Analysis of the Refrigerator Evaporator Failure
The paper analyzes the various factors that cause failure of refrigerator evaporator. The refrigerator evaporator failure spectrum is constructed through qualitative analysis of the fault tree system after building a corresponding fault tree system. There is an analysis procedure of fault tree system based on computer aided fault tree analysis system (CAFTA).
متن کاملDiagnosis by Algebraic Modeling and Fault-Tree Induction
We outline relevant characteristics of the vehicle diagnosis domain and requirements for diagnosis support. We argue that a combination of a model-based and a fault-tree approach will meet the requirements. We motivate and specify the task of automated modeling and develop a method to derive linear algebraic models of a given device. Models are derived by performing series-parallel analysis and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 5 شماره
صفحات -
تاریخ انتشار 1999