Bound computation of dependability and performance measures

• Published in: IEEE transactions on computers Vol. 50; no. 5; pp. 399 - 413
• Main Authors: Mahevas, S., Rubino, G.
• Format: Journal Article
• Language: English
• Published: New York IEEE 01-05-2001; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Complex systems; Computation; Computer simulation; Markov models; Mathematical analysis; Mathematical model; Mathematical models; Networks; Numerical analysis; Particle measurements; Performance evaluation; Petri nets; Power system modeling; Queueing analysis; Queues; Space technology; State-space methods; Stochastic processes
• ISSN: 0018-9340; 1557-9956
• DOI: 10.1109/12.926156

We propose a new method to obtain bounds of dependability, performance or performability measures concerning complex systems modeled by a large Markov model. It extends previously published techniques mainly designed to the analysis of dependability measures only and working under more restrictive conditions. Our approach allows us to obtain tight bounds of performance measures on certain cases and, in particular, on models having an infinite state space. We illustrate the method with some analytically intractable open queuing networks, as well as with large dependability models.