loading...
OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies
Seoul, Korea December 17-December 19
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PRDC.2001.992683Eighth Pacific Rim International Symp ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
This paper proposes a new modeling method for the evaluation of 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 an Methods 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 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 it can be found in the telecommunications area.
Citation:
Max Walter, Carsten Trinitis, Wolfgang Karl, "OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies," prdc, pp.76, Eighth Pacific Rim International Symposium on Dependable Computing (PRDC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.