UCT CS Research Document Archive

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..

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.


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
ID Code:117
Deposited By:Arnab, A
Deposited On:06 May 2004
Alternative Locations:http://www.cs.uct.ac.za/Research/DNA/resources/publications_repository/lifson2003_VerificationServiceLevelAgrntsMRM.pdf