Modeling Inter-Component Dependencies of High-Availability Systems using OpenSESAME

Abstract:
Traditional Modeling Methods for High-Availability-Systems like Fault Trees (FT) or Reliability Block Diagrams (RBD) assume that there are no stochastic dependencies between the failure and repair behavior of the system's components). However, this assumption is over-optimistic, because of numerous dependencies between the subsystems. Using the tool OpenSESAME (Simple but Extensive Structured Availability Modeling Environment), these dependencies can be taken into account leading to much more realistic and trustworthy results. In contrast to modeling environments which use Markov Chains, Petri nets or stochastic process algebras as their input formalism, the learning curve of OpenSESAME is smooth: Users start with regular block diagrams and can extend them by dependencies without having to learn new formalisms.