Paper Info
Title
OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies
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.
Year
DOI
Venue
2001
10.1109/PRDC.2001.992683
Seoul
Keywords
Field
DocType
available system,boole anmethods,intuitive input diagram,intuitive dependability modeling environment,generalized stochastic petri nets,inter-component dependencies,typical compactpci-based high availability,tool opensesame,state space base,evaluationof dependability measure,new modeling method,hardware,availability,petri nets,boolean algebra,open systems,stochastic processes,state space,redundancy
Dependability,Petri net,CompactPCI,Computer science,Stochastic Petri net,Real-time computing,Boolean algebra,Open system (systems theory),State space,High availability,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7695-1414-6
12
1.03
References 
Authors
3
3
Name
Order
Citations
PageRank
Max Walter1549.17
Carsten Trinitis215129.80
Wolfgang Karl3619.33