Lifson, Farrel (2003) Verification of Service Level Agreements with Markov Reward Models, Proceedings of Southern African Telecommunications Networks and Applications Conference 2003., George , South Africa, 2003..
![[img]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
lifson2003_VerificationServiceLevelAgrntsMRM.pdf Download (90kB) |
Abstract
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.
| Item Type: | Conference paper |
|---|---|
| Alternate Locations: | http://www.cs.uct.ac.za/Research/DNA/resources/publications_repository/lifson2003_VerificationServiceLevelAgrntsMRM.pdf |
| Date Deposited: | 06 May 2004 |
| Last Modified: | 10 Oct 2019 15:36 |
| URI: | http://pubs.cs.uct.ac.za/id/eprint/117 |
Actions (login required)
 |
View Item |