Abstract: 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 weakly hard real-time constraint specification works well and has wide application on strictness comparison. The result shows the new constrain theorem of specification works well and has application.

Key words: Constraint specification, Weakly hard real-time systems, Smooth scheduling