Downloaded 0721 questions

0721_37/correct.txt

@@ -0,0 +1,13 @@
+class Monitor
+InputReal x, y; 
+OutputBoolean wy;
+Boolean wz;
+initial equation
+wy = false;
+equation
+wz = (time > 60) and (delay(x, 10) > 0) and (y >= 0);
+algorithm
+when edge(wz) then
+wy := true;
+end when;
+end Monitor;

0721_37/quest.txt

@@ -0,0 +1,5 @@
+Si consideri il seguente requisito:
+RQ:  Dopo 60 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
+se 10 unità di tempo nel passato x era maggiore di 0 allora ora y è negativa.
+Tenendo presente che, al tempo time, delay(z, w) ritorna 0 se time <= w e ritorna il valore che z aveva al tempo (time - w), se time = w.
+Quale dei seguenti monitor meglio descrive il requisito RQ ?

0721_37/wrong1.txt

@@ -0,0 +1,14 @@
+class Monitor
+InputReal x, y; 
+OutputBoolean wy;
+Boolean wz;
+initial equation
+wy = false;
+equation
+wz = (time > 60) or (delay(x, 10) > 0) or  (y >= 0);
+
+algorithm
+when edge(wz) then
+wy := true;
+end when;
+end Monitor;

0721_37/wrong2.txt

@@ -0,0 +1,13 @@
+class Monitor
+InputReal x, y; 
+OutputBoolean wy;
+Boolean wz;
+initial equation
+wy = false;
+equation
+wz = (time > 60) and (delay(x, 10) <= 0) and (y >= 0);
+algorithm
+when edge(wz) then
+wy := true;
+end when;
+end Monitor;