Supported by the National Natural Science Foundation of China under Grant No.60603032 (国家自然科学基金); the Sino-France Advanced Research Program under Grant No. PRA SI03-02 (中法先进计划研究项目)
Constraint Specification of Weakly Hard Real-Time System
This paper presents the definition of a weakly hard real-time system, and summarizes the existent constraint specifications of this system and their relationships. A constraint specification (m ,p) is put forward. Theorems including their proofs are presented to compare the stringency between the constraint specifications. Moreover, a theorem proposed by Bernat for stringency compare is corrected in this paper.