Constraint Specification of Weakly Hard Real-time Systems Based on Smooth Scheduling
基于平滑调度的弱硬实时系统约束规范

Constraint specification is the foundation stone of the research of weakly hard real-time systems.From the perspective of the definitions of weakly hard real-time system,this paper put forward a new constraint specification,which can achieve smooth scheduling more efficiently.The paper also presented and proved an important theorem of weakly hard real-time constraint specification on strictness comparison.The result shows the new constrain specification works well and has wide application.