%0 Journal Article
%T Constraint Specification of Weakly Hard Real-Time System<br>弱硬实时系统约束规范
%A CHEN Ji-Ming
%A SONG Ye-Qiong
%A SUN You-Xian
%A <br>陈积明
%A 宋叶琼
%A 孙优贤
%J 软件学报
%D 2006
%I 
%X 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.
%K (m
%K k)-firm<br>约束规范
%K 弱硬实时系统
%K 严格性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=1CE822873B829345&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=59906B3B2830C2C5&sid=AEF4E192E58CE217&eid=A4CA59572D689648&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=16