OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies

  • Authors:
  • Max Walter;Carsten Trinitis;Wolfgang Karl

  • Affiliations:
  • -;-;-

  • Venue:
  • PRDC '01 Proceedings of the 2001 Pacific Rim International Symposium on Dependable Computing
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper proposes a new modeling method for the evaluationof dependability measures of highly available systems.The propose d method, which has been implemented in the tool OpenSESAME (Simple but Extensive Structured A availability Modeling Environment), combines the advantages of Boole anMethods and state space base d methods.The tool supports The modeler with a set of well-defined, structured, intuitive input diagrams and tables, which are automatically transformedinto 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 it can be found in the telecommunications area.