Research Article
A Comprehensive Availability Modeling and Analysis of a Virtualized Servers System Using Stochastic Reward Nets
Table 1
Guard functions for the VMM submodel and VMM clock submodel.
| | Guard function name | Associated transition | Definition |
| | gTVMMrestart | TVMMrestart | If (#PHup == 1) 1 else 0 | | gtVMMupdn | tVMMupdn | If (#PHf == 1) 1 else 0 | | gTVMMf | TVMMf | If (#PHup == 1) 1 else 0 | | gTVMMrepair | TVMMrepair | If (#PHup == 1) 1 else 0 | | gTVMMfp | TVMMfp | If (#PHup == 1) 1 else 0 | | gTVMMaf | TVMMaf | If (#PHup == 1) 1 else 0 | | gTVMMarecovery | TVMMarecovery | If (#PHup == 1) 1 else 0 | | gTVMMfpd | TVMMfpd | If (#PHf == 1) 1 else 0 | | gTVMMinterval | TVMMinterval | If (#PVMMup == 1 #PVMMfp == 1) 1 else 0 | | gtVMMtrig | tVMMtrig | If (#PVMMup == 1 #PVMMfp == 1) 1 else 0 | | gTVMMclockinterval | TVMMclockinterval | If (#PVMMup == 1 #PVMMfp == 1) 1 else 0 | | gtVMMclockback | tVMMclockback | If (#PVMMaf == 1 #PVMMf == 1 #PVMMdn == 1) 1 else 0 | | gTVMMrejtrig | TVMMrejtrig | If (#PVMMtrigger == 1) 1 else 0 | | gtVMMuprej | tVMMuprej | If (#PVMMtrigger == 1) 1 else 0 | | gtVMMclockreset | tVMMclockreset | If (#PVMMrej == 1) 1 else 0 | | gTVMMrej | TVMMrej | If (#PHup == 1) 1 else 0 |
|
|
