Title :
OpenSESAME: an intuitive dependability modeling environment supporting inter-component dependencies
Author :
Walter, Max ; Trinitis, Carsten ; Karl, Wolfgang
Author_Institution :
LRR, Technische Univ. Munchen, Germany
Abstract :
The paper proposes a novel modeling method for the evaluation of dependability measures of highly available systems. The proposed method, which has been implemented in the tool OpenSESAME (Simple but Extensive Structured Availability Modeling Environment), combines the advantages of Boolean methods and state space based methods. The tool supports the modeler with a set of well-defined, structured, intuitive input diagrams and tables, which are automatically transformed into GSPNs (Generalized Stochastic Petri Nets) for evaluation. To show the usefulness of the proposed method, it is applied to a model of a typical CompactPCI-based high availability system as can be found in the telecommunications area
Keywords :
Boolean algebra; Petri nets; fault tolerant computing; open systems; state-space methods; stochastic processes; Boolean methods; CompactPCI-based high availability system; GSPNs; Generalized Stochastic Petri Nets; OpenSESAME; Simple but Extensive Structured Availability Modeling Environment; dependability measures; highly available systems; inter-component dependencies; intuitive dependability modeling environment; intuitive input diagrams; modeling method; state space based methods; telecommunications area; Availability; Checkpointing; Costs; Hardware; Heart beat; Petri nets; Redundancy; State-space methods; Stochastic processes; Telecommunication computing;
Conference_Titel :
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on
Conference_Location :
Seoul
Print_ISBN :
0-7695-1414-6
DOI :
10.1109/PRDC.2001.992683
