You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
14 lines
404 B
14 lines
404 B
// File: /home/staff/dxp/prism/embedded/embedded.csl
|
|
// Generated by PRISM on Tue Oct 12 10:52:02 BST 2004
|
|
|
|
// Labels:
|
|
label "down" = (i=2&s<MIN_SENSORS)|(count=MAX_COUNT+1)|(o=2&a<MIN_ACTUATORS)|(m=0);
|
|
|
|
// Constants:
|
|
const double T;
|
|
|
|
// Expected time spent in "up"/"danger"/"shutdown" by time T
|
|
R=? [ C<=T*3600 ]
|
|
|
|
// Expected time spent in "up"/"danger" before "shutdown"
|
|
R=? [ F "down" ]
|