OpenSESAME: an intuitive dependability modeling environment supporting inter-component dependencies

Author

Walter, Max ; Trinitis, Carsten ; Karl, Wolfgang

Author_Institution

LRR, Technische Univ. Munchen, Germany

fYear

2001

fDate

2001

Firstpage

76

Lastpage

83

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on

Conference_Location

Seoul

Print_ISBN

0-7695-1414-6

Type

conf

DOI

10.1109/PRDC.2001.992683

Filename

992683