The TASM Language Reference Manual Version 1.1 - Synrc
The TASM Language Reference Manual Version 1.1 - Synrc
The TASM Language Reference Manual Version 1.1 - Synrc
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
• t < 1: (((memory, 400), (processor, 60)), ∅)<br />
• t = 1: (((memory, 400), (processor, 60)), ((fan, ON)))<br />
• 1 < t < 4: (((memory, 300), (processor, 25)), ∅)<br />
• t = 4: (((memory, 300), (processor, 25)), ((light, ON)))<br />
• t > 4: (((memory, 0), (processor, 0)), ∅)<br />
Formally, the state evolution can be tracked through the following stages:<br />
• T RS 0 = (1, ((memory, 0), (processor, 0)), ((light, OF F ), (fan, OF F )))<br />
• T RU F AN CONT ROL,1 = (1, ((memory, 100), (processor, 35)), ((fan, ON)))<br />
• T RU LIGHT CONT ROL,1 = (4, ((memory, 300), (processor, 25)), ((light, ON)))<br />
• T RU 1 = T RU F AN CONT ROL,1 ⊙ T RU LIGHT CONT ROL,1 = (1, ((memory,<br />
400), (processor, 60)), ((fan, ON)))<br />
• T RU 2 = T RU F AN CONT ROL,1 ⊙ T RU LIGHT CONT ROL,1 = (3, ((memory,<br />
300), (processor, 25)), ((light, ON)))<br />
• T RS 1 = T RS 0 ◦ T RU 1 = (1, ((memory, 400), (processor, 60)), ((light,<br />
OF F ), (fan, ON)))<br />
• T RS 2 = T RS 1 ◦ T RU 2 = (4, ((memory, 300), (processor, 25)), ((light, ON),<br />
(fan, ON)))<br />
<strong>The</strong> time history of variable values and resource consumption for the run is also<br />
shown in Figure 2.2.<br />
ON<br />
light status<br />
ON<br />
fan status<br />
OFF<br />
60<br />
25<br />
0<br />
OFF<br />
4<br />
t<br />
1<br />
memory usage<br />
processor usage 400<br />
300<br />
0<br />
1 4<br />
t<br />
1 4<br />
t<br />
t<br />
Figure 2.2: Time history of variable values and resource consumption<br />
30