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

关键词: 约束规范, 严格性比较, 弱硬实时系统, 偏序关系

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

Key words: constrain specification, strict comparison, weakly hard real-time system, partial order

中图分类号: 

• TP316