The UltraSAN Modeling Environment

Abstract Model-based evaluation of computer systems and networks is an increasingly important activity. For modeling to be used effectively, software environments are needed that ease model specification, construction, and solution. Easy to use, graphical methods for model specification that support solution of families of models with differing parameter values are also needed. Since no model solution technique is ideal for all situations, multiple analysis and simulation-based solution techniques should be supported. This paper describes UltraSAN , one such software environment. The design of UltraSAN reflects its two main purposes: to facilitate the evaluation of realistic computer systems and networks, and to provide a test-bed for investigating new modeling techniques. In UltraSAN , models are specified using stochastic activity networks, a stochastic variant of Petri nets, using a graphical X-Window based interface that supports large-scale model specification, construction, and solution. Models may be parameterized to reduce the effort required to solve families of models, and a variety of analysis and simulation-based solution techniques are supported. The package has a modular organization that makes it easy to add new construction and solution techniques as they become available. In addition to describing the features, capabilities, and organization of UltraSAN , the paper illustrates the use of the package in the solution for the unreliability of a fault-tolerant multiprocessor using two solution techniques.

[1]  Philip Heidelberger,et al.  Fast simulation of dependability models with general failure, repair and maintenance processes , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[2]  Jacob A. Abraham,et al.  A Numerical Technique for the Hierarchical Evaluation of Large, Closed Fault-Tolerant Systems , 1992 .

[3]  Markus Siegle.  Reduced Markov Models Of Parallel Programs With Replicated Processes , 1994, Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing.

[4]  William H. Sanders,et al.  Dependability Evaluation Using Composed SAN-Based Reward Models , 1992, J. Parallel Distributed Comput..

[5]  Christoph Lindemann,et al.  DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.

[6]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[7]  Günter Hommel,et al.  TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets , 1995, Perform. Evaluation.

[8]  Kishor S. Trivedi,et al.  Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets , 1993 .

[9]  William H. Sanders,et al.  A Unified Approach for Specifying Measures of Performance, Dependability and Performability , 1991 .

[10]  Ignas G. Niemegeers,et al.  Performability Modelling Tools and Techniques , 1996, Perform. Evaluation.

[11]  William H. Sanders,et al.  Efficient simulation of hierarchical stochastic activity network models , 1993, Discret. Event Dyn. Syst..

[12]  Udo R. Krieger,et al.  Modeling and Analysis of Communication Systems Based on Computational Methods for Markov Chains , 1990, IEEE J. Sel. Areas Commun..

[13]  William H. Sanders,et al.  Importance Sampling Simulation in UltraSAN , 1994, Simul..

[14]  William H. Sanders,et al.  METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks , 1986, FJCC.

[15]  O. Østerby,et al.  Direct Methods for Sparse Matrices , 1983 .

[16]  Kishor S. Trivedi,et al.  Reliability estimation of fault-tolerant systems: tools and techniques , 1990, Computer.

[17]  Peter W. Glynn,et al.  Simulation and analysis of highly reliable systems , 1990 .

[18]  Ali Movaghar,et al.  Performability modeling with stochastic activity networks , 1985 .

[19]  William H. Sanders,et al.  The effect of workload on the performance and availability of voting algorithms , 1995, MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

[20]  William H. Sanders,et al.  Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..

[21]  Elmer E Lewis,et al.  Monte Carlo simulation of Markov unreliability models , 1984 .

[22]  Kishor S. Trivedi,et al.  Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives , 1994, Computer Performance Evaluation.

[23]  William H. Sanders,et al.  Loss process analysis of the knockout switch using stochastic activity networks , 1995, Proceedings of Fourth International Conference on Computer Communications and Networks - IC3N'95.

[24]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[25]  Bruce Daniel McLeod,et al.  Performance evaluation of N-processor Time Warp using stochastic activity networks , 1993 .

[26]  S. Natkin,et al.  RDPS: A Software Package for the Validation and Evaluation of Dependable Computer Systems , 1986 .

[27]  William H. Press,et al.  Numerical Recipes in FORTRAN - The Art of Scientific Computing, 2nd Edition , 1987 .

[28]  William H. Sanders,et al.  An environment for importance sampling based on stochastic activity networks , 1994, Proceedings of IEEE 13th Symposium on Reliable Distributed Systems.

[29]  Philip Heidelberger,et al.  Uniformization and exponential transformation: Techniques for fast simulation of highly dependable non-Markovian systems , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[30]  Christoph Lindemann,et al.  An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[31]  Peter W. Glynn,et al.  Computing Poisson probabilities , 1988, CACM.

[32]  William H. Sanders,et al.  Performability Modeling with UltraSAN , 1991, IEEE Softw..

[33]  Janet Elaine Tvedt,et al.  Matrix representations and analytical solution methods for stochastic activity networks , 1990 .

[34]  Jean Arlat,et al.  SURF-2: A program for dependability evaluation of complex hardware and software systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[35]  William H. Sanders,et al.  Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results , 1994, Perform. Evaluation.