先决条件 – 实时系统中的时序约束
1.延迟约束:
延迟约束是实时系统中两个连续事件发生之间的最小时间间隔。如果事件发生在延迟约束之前,则称为延迟违规。两个事件发生的时间间隔应大于或等于延迟约束。
如果 D 是两个事件发生之间的实际时间间隔,而 d 是延迟约束,则D >= d 。
2. 期限限制:
最后期限约束是实时系统中两个连续事件发生之间的最大时间间隔。如果事件发生在截止日期约束之后,则事件的结果被认为是不正确的。两个事件发生的时间间隔应小于或等于截止时间约束。
如果 D 是两个事件发生之间的实际时间间隔,而 d 是截止日期约束,则D <= d 。
延迟和截止日期约束之间的区别:
DELAY CONSTRAINT | DEADLINE CONSTRAINT |
---|---|
It is the minimum time interval between occurrence of two consecutive events. | It is the maximum time interval between occurrence of two consecutive events. |
It implies that after the occurrence of event E1, event E2 can occur only after the time elapsed is equal to delay constraint. | It implies that after the occurrence of event E1, event E2 must occur only before the time elapsed is equal to deadline constraint. |
If D is the actual time interval between occurrence of two events and d is the delay constraint, then D >= d. | If D is the actual time interval between occurrence of two events and d is the deadline constraint, then D <= d. |
Delay violation occurs here if an event occurs before delay constraint. | There is no such term as deadline violation if an event occurs after deadline constraint. |
The result is not considered incorrect if event occurs before delay constraint. | The result is considered incorrect if event occurs after deadline constraint. |
Delay Constraint under performance is classified as Response-Response (RR) and Stimulus-Response (SR). | Deadline Constraint under performance is classified as Stimulus-Response (SR) and Response-Response (RR). |
Delay Constraint under performance is classified as Response-Stimulus (RS) and Stimulus-Stimulus (SS). | Deadline Constraint under performance is classified as Stimulus-Stimulus (SS) and Response-Stimulus (RS). |