弱硬实时系统约束规范

作者：陈积明; 宋叶琼; 孙优贤

来源：软件学报, 2006, (12): 2601-2608.

• 约束规范
• 弱硬实时系统
• (m
• k)-firm
• 严格性 constraint specification
• weakly hard real-time system
• (m
• stringency

从弱硬实时系统定义出发,概述现有弱硬实时约束规范及其相互关系,提出了一种约束规范(m,p),与已有的约束规范作了严格性强弱的比较,并给予了证明;同时修正了Bernat提出的一个约束强弱比较的定理.