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

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

作　　者：张健[1] 朱旭东[1] 

机构地区：[1]广东海洋大学信息学院,湛江524088

出　　处：《计算机工程》2010年第13期263-264,268,共3页Computer Engineering

摘　　要：当弱硬实时系统约束规范中μ-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.

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

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]