Cart (Loading....) | Create Account
Close category search window

Bridging the gap between systems and dynamic fault tree models

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Manian, R. ; FORE Syst. Inc., Wattendale, PA, USA ; Coppit, D.W. ; Sullivan, K.J. ; Bechta Dugan, J.

Fault tolerant systems are composed of subsystems that interact with each other, often in complex ways. Analyzing the reliability of these systems calls for sophisticated modeling techniques. One such technique is dynamic fault tree analysis. Because the semantics of dynamic fault trees are themselves complex, there is a question of whether such models are faithful representations of the modeled systems, and whether the underlying analysis technique is correct. Previous definitions of the modeling constructs employed in dynamic fault trees were not precise or consistent enough, leading to ambiguities in their interpretation. We present our effort at making precise the dynamic fault tree modeling and evaluation process. Our aim was to improve our confidence in the validity of dynamic fault tree models of system failure behavior. By rigorously specifying fault trees and their constituent gates and basic events, we were able to reason more effectively about the correctness of fault trees, the underlying analytical Markov models, and the numerical solution to these analytical models

Published in:

Reliability and Maintainability Symposium, 1999. Proceedings. Annual

Date of Conference:

18 -21 Jan 1999

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.