METASAN: a performability evaluation tool based on stochastic activity networks
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
Modeling Correlation in Software Recovery Blocks
IEEE Transactions on Software Engineering - Special issue on software reliability
An Efficient Method for Approximating Submesh Reliability of Two-Dimensional Meshes
IEEE Transactions on Parallel and Distributed Systems
Lectures on formal methods and performance analysis
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Computers and Operations Research
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Proceedings of the 2004 ACM symposium on Applied computing
A framework to model and analyze the performability of mobile software systems
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Logic and stochastic modeling with SMART
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
| Hi-index | 0.00 |
The utility of stochastic activity networks (SANs) for performability evaluation is discussed. UltraSAN, a new graphical, X-Windows-based software package that uses SANs, is described. UltraSAN incorporates three innovations: a class of SAN-level performability variables common to both analytical and simulation solution methods, methods that use the performability-variable choice and the SAN structure to greatly reduce the size of the stochastic process required for an analytical solution, and methods that use the performability-variable choice and the SAN structure to reduce the number of activities checked on each state change, thus speeding the simulation. The UltraSAN modeling framework, organization, and user interface are examined. Model construction and solution are described.