弱硬实时系统约束规范  

Constraint Specification of Weakly Hard Real-Time System

作　　者：陈积明[1] 宋叶琼 孙优贤[1] 

机构地区：[1]浙江大学工业控制技术国家重点实验室 [2]LORIA-TRIO Campus Scientifique,B.P.239 54506 VANDOEUVRE,France

出　　处：《软件学报》2006年第12期2601-2608,共8页Journal of Software

基　　金：国家自然科学基金No.60603032;中法先进计划研究项目No.PRA SI03-02~~

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

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

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]