Verification of Service Level Agreements with Markov Reward Models
Lifson, Farrel (2003) Verification of Service Level Agreements with Markov Reward Models. In Proceedings Southern African Telecommunications Networks and Applications Conference 2003., George , South Africa, 2003..
We review the usage of Markov reward models and it's associated performability logics in the determination of Service Level Agreements. We examine the removal of zero state rewards from Markov reward models and suggest a refinement to prevent the modification of the logical properties of the model. We also introduce an alternate methodology to be able to do model checking using a suitable number to approximate zero. We observe the error that this introduces and observe some performance issues it introduces to certain underlying model checking techniques.
|EPrint Type:||Conference Paper|
|Deposited By:||Arnab, A|
|Deposited On:||06 May 2004|