The obtained values of the timing properties are now compared against the given timing constraint transformed from the higher level of abstraction.
Alternative #1: For this purpose, an event chain is specified that references the event observable at the required port of the hardware function called ”Sensor”, playing the role “Stimulus”, and that references the event observable at the provided port of the hardware function called “Actuator”, playing the role “Response”.
Alternative #2: For this purpose, an event chain is specified that references the event observable at the required port of the basic software function called ”Sensor”, playing the role “Stimulus”, and that references the event observable at the provided port of the basic software function called “Actuator”, playing the role “Response”.
This event chain and the timing constraint imposed on it are depicted by the blue colored event chain shown in the bottom part of Figure 6. A latency timing constraint is imposed on this event chain and the value of this latency timing constraint is as follows:
Latency Timing Constraint |
Minimum |
Maximum |
120 ms, -10 ms, +18 ms |
110 ms |
138 ms |
A comparison of this timing property of the solution with the given one mentioned in the introduction of the example shows that the solution satisfies the given timing constraint respectively latency timing constraint: 110 to 138 ms versus 110 to 140 ms.
|