Title :
SMART: simulation and Markovian analyzer for reliability and timing
Author :
Ciardo, Gianfranco ; Miner, Andrew S.
Author_Institution :
Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
Abstract :
SMART is a new tool for performance, reliability, availability, and performability modeling. Numerical solution algorithms are available for both continuous- and discrete-time Markov chains. Mixed-time non-Markovian models can be studied using simulation. Multiple interacting models and fixed-point iterative techniques for the decomposition and solution of complex models can be easily specified. To assist in the model specification and help in avoiding common mistakes, the input language is strongly typed
Keywords :
Markov processes; digital simulation; formal specification; performance evaluation; software tools; Markov chains; SMART; availability; fixed-point iterative techniques; model specification; multiple interacting models; numerical solution algorithms; performability modeling; performance; reliability; simulation and Markovian analyzer; timing; Analytical models; Availability; Computational modeling; Computer science; Computer simulation; Educational institutions; Iterative algorithms; Performance analysis; Stochastic processes; Timing;
Conference_Titel :
Computer Performance and Dependability Symposium, 1996., Proceedings of IEEE International
Conference_Location :
Urbana-Champaign, IL
Print_ISBN :
0-8186-7484-9
DOI :
10.1109/IPDS.1996.540204