弱硬实时系统约束规范

陈积明; 宋叶琼; 孙优贤

引用本文:	陈积明,宋叶琼,孙优贤.弱硬实时系统约束规范.软件学报,2006,17(12):2601-2608

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 5303次下载 6379次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
弱硬实时系统约束规范
陈积明¹, 宋叶琼², 孙优贤¹
1.浙江大学,工业控制技术国家重点实验室,浙江,杭州,310027;2.LORIA-TRIO Campus Scientifique,B.P.239 54506 VANDOEUVRE,France

摘要:

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

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

DOI：

分类号:

基金项目:Supported by the National Natural Science Foundation of China under Grant No.60603032 (国家自然科学基金); the Sino-France Advanced Research Program under Grant No. PRA SI03-02 (中法先进计划研究项目)

Constraint Specification of Weakly Hard Real-Time System

CHEN Ji-Ming,SONG Ye-Qiong,SUN You-Xian

Abstract:

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.

Key words: constraint specification weakly hard real-time system (m,k)-firm stringency

引用本文: