Analysis
with time constraints
nCase
qUnable patient causes an alarm situation. The
patient has to be treated in
real time. This time is the critical time Tc, determined by the sensor (robot) taking the reading. The system
clock time is Ts.
qAt each step in the execution cycle
the following actions are performed:
nA processing time is subtracted from
the critical time for each execution
stem
nAlso at each stem there is a check
done if the critical time is still met
qTiming details
nIf Ts < Tc then the IC is not
triggered.
nIf Tc+Tnormal >= Ts >= Tc then
the output message will carry a new time parameter Tc'( Tc' = Tc+Tnormal.).
nIf Tc+Talarm >= Ts >
Tc+Tnormal, i.e., Tc is within an alarm threshold Talarm, then an alarm message is
sent to request immediate response
Analysis
with time constraints