Add 06/21 by Matteo

Ingegneria del Software/0621_5/correct.txt

@@ -0,0 +1,15 @@
+class Monitor
+
+InputReal x, y;  // plant output
+OutputBoolean wy;
+
+Boolean wz;
+initial equation
+wy = false;
+equation
+wz = (time > 10) and (x >= 10) and (x <= 20) and ((y < 0.5*x) or (y > 0.7*x)) ;
+algorithm
+when edge(wz) then
+wy := true;
+end when;
+end Monitor;

Ingegneria del Software/0621_5/quest.txt

@@ -0,0 +1,3 @@
+Si consideri il seguente requisito:
+RQ:  Dopo 10 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà: se la variabile x è nell'intervallo [10, 20]  allora la variabile y è compresa tra il 50% di x ed il 70% di x.
+Quale dei seguenti monitor meglio descrive il requisito RQ ?

Ingegneria del Software/0621_5/wrong0.txt

@@ -0,0 +1,15 @@
+class Monitor
+
+InputReal x, y;  // plant output
+OutputBoolean wy;
+
+Boolean wz;
+initial equation
+wy = false;
+equation
+wz = (time > 10) and ((x < 10) or (x > 20)) and ((y < 0.5*x) or (y > 0.7*x)) ;
+algorithm
+when edge(wz) then
+wy := true;
+end when;
+end Monitor;

Ingegneria del Software/0621_5/wrong1.txt

@@ -0,0 +1,15 @@
+class Monitor
+
+InputReal x, y;  // plant output
+OutputBoolean wy;
+
+Boolean wz;
+initial equation
+wy = false;
+equation
+wz = (time > 10) and (x >= 10) and (x <= 20) and (y >= 0.5*x) and (y <= 0.7*x)  ;
+algorithm
+when edge(wz) then
+wy := true;
+end when;
+end Monitor;