一种弱硬实时约束规范(-m,P1)

• 作者: 张健 朱旭东
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 约束规范 严格性比较 弱硬实时系统 偏序关系
• 年，卷（期）: 2010,（13）
• 页码范围: 263-264,268
• 分类号: TP316
• 字数: 3285字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.13.092

摘要

当弱硬实时系统约束规范中μ-patterns首个字符为0时,弱硬实时约束规范(-m,P)就失去作用.针对该问题,通过改变截止期满足率的计算方法,提出一个弱硬实时约束规范(-m,P1),在保持(-m,p)优点的同时,扩大了其使用范围,并通过偏序证明来保证其优良性能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张健	广东海洋大学信息学院	16	38	3.0	5.0
2	朱旭东	广东海洋大学信息学院	12	42	4.0	6.0