弱硬实时系统约束规范

• 作者: 孙优贤 宋叶琼 陈积明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 约束规范 弱硬实时系统 (m,k)-firm 严格性
• 年，卷（期）: 2006,（12）
• 所属期刊栏目: 操作系统
• 页码范围: 2601-2608
• 页数: 8页
• 分类号: TP316
• 字数: 7367字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙优贤	浙江大学工业控制技术国家重点实验室	231	5136	33.0	62.0
2	陈积明	浙江大学工业控制技术国家重点实验室	26	649	11.0	25.0