|
Guard function | Transition | Definition |
|
gTVMf | TVMf | If (#PVMMup == 1 #PVMMfp == 1 && #PSANup == 1) 1 else 0 |
gTVMrepair | TVMrepair | If (#PVMMup == 1 #PVMMfp == 1 && #PSANup == 1) 1 else 0 |
gtVMupd | tVMupd | If (#PVMMdn == 1 #PVMMf == 1 #PVMMaf == 1 #PVMMrej == 1 #PSANf == 1) 1 else 0 |
gTVMrestart | TVMrestart | If (#PVMMup == 1 #PVMMfp == 1 && #PSANup == 1) 1 else 0 |
gTVMfp | TVMfp | If (#PVMMup == 1 #PVMMfp == 1 && #PSANup == 1) 1 else 0 |
gTVMaf | TVMaf | If (#PVMMup == 1 #PVMMfp == 1 && #PSANup == 1) 1 else 0 |
gTVMarecovery | TVMarecovery | If (#PVMMup == 1 #PVMMfp == 1 && #PSANup == 1) 1 else 0 |
gTVMfpdn | TVMfpdn | If (#PVMMdn == 1 #PVMMf == 1 #PVMMaf == 1 #PVMMrej == 1 #PSANf == 1) 1 else 0 |
gTVMinterval | TVMinterval | If (#PVMup == 1 #PVMup == nVM #PVMfp == 1 #PVMfp == nVM) 1 else 0 |
gtVMclockback | tVMclockback | If (#PVMup == 0 && #PVMfp == 0) 1 else 0 |
gtVMtrigger | tVMtrigger | If (#PVMup == 1 #PVMup == nVM #PVMfp == 1 #PVMfp == nVM) 1 else 0 |
gtVMclockreset | tVMclockreset | If (#PVMrej == 1 #PVMrej == nVM) 1 else 0 |
gTVMfprejtrig | TVMfprejtrig | If (#PVMtrigger == 1) 1 else 0 |
gtVMuprej | tVMuprej | If (#PVMtrigger == 1) 1 else 0 |
gTVMrej | TVMrej | If (#PVMMup == 1 #PVMMfp == 1 && #PSANup == 1) 1 else 0 |
gTVMboot | TVMboot | If (#PVMMrej == 0 && #PVMMup == 1 #PVMMfp == 1) 1 else 0 |
gtVMstop | tVMstop | If (#PVMMrej == 1 && #PVMstop < nVM) 1 else 0 |
gVMrelease | tVMupo, tVMfpo, tVMafo, tVMrejo, tVMsdno, tVMfo, tVMclocko, tVMpolicyo, tVMtriggero | If (#PVMMrej == 1) 1 else 0 |
gtVMclockstart | tVMclockstart | If (#PVMMrej == 0 && #PVMMup == 1 #PVMMfp == 1 && #PVMclock == 0 && #PVMclockstop == 1) 1 else 0 |
gtVMclockstop | tVMclockstop | If (#PVMMrej == 1 && #PVMclockstop! = 1) 1 else 0 |
| tVMstop | If (#PVMstop < nVM) (nVM-#PVM1stop) else 0 |
gTVMclockinterval | TVMclockinterval | If (#PVMup == 1 #PVMup == nVM #PVMfp == 1 #PVMfp == nVM) 1 else 0 |
gTVMMfpdn | TVMMfpdn | If (#PHf == 1) 1 else 0 |
gtVMupdn | tVMupdn | If (#PVMMdn == 1 #PVMMf == 1 #PVMMaf == 1 #PVMMrej == 1 #PSANf == 1) 1 else 0 |
gTVMd | TVMd | If (#PVMpolicy! = cVM && #PSANup == 1 && #PVMMup == 1 #PVMMfp == 1) 1 else 0 |
gTVMdrej | TVMdrej | If (#PVMpolicy! = cVM && #PSANup == 1 && #PVMMup == 1 #PVMMfp == 1) 1 else 0 |
gTVMd | TVMd | If (#PVMpolicy! = cVM && #PSANup == 1 && #PVMMup == 1 #PVMMfp == 1) 1 else 0 |
gTVMdrej | TVMdrej | If (#PVMpolicy == cVM && #PSANup == 1 && #PVMMup == 1 #PVMMfp == 1) 1 else 0 |
|