弱硬实时系统约束规范

被引：11

作者：

陈积明 ^{[1
]}

宋叶琼 ^{[2
]}

孙优贤 ^{[1
]}

机构：

[1] 浙江大学工业控制技术国家重点实验室

[2] LORIA-TRIO Campus Scientifique,BP VANDOEUVRE,France

来源：

关键词：

约束规范; 弱硬实时系统; (m,k)-firm; 严格性;

D O I：

暂无

中图分类号：

TP316.2 [实时操作系统];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：2601 / 2608

页数：8