一种弱硬实时约束规范(■,p^1)

Weakly Hard Real-time Constraint Specification(■,p^1 )

当弱硬实时系统约束规范中μ-patterns首个字符为0时,弱硬实时约束规范(■,p)就失去作用。针对该问题,通过改变截止期满足率的计算方法,提出一个弱硬实时约束规范(■,p 1),在保持(■,p)优点的同时,扩大了其使用范围,并通过偏序证明来保证其优良性能。

When the first number in μ-patterns of weakly hard real-time system is 0,the constraint specification（m,p） will be invalid.This paper puts forward a new constraint specification（m,p1） to solve the problem by changing the computing method of meeting the rate of deadline.The new constraint specification（m,p^1） not only retains the advantages of（m,p） but also widens the scope of its usage.The high performance is verified by proof of partial order.