| 弱硬实时系统约束规范 |
| |
| 引用本文： | 陈积明,宋叶琼,孙优贤.弱硬实时系统约束规范[J].软件学报,2006,17(12):2601-2608. |
| |
| 作者姓名： | 陈积明 宋叶琼 孙优贤 |
| |
| 作者单位： | 1. 浙江大学,工业控制技术国家重点实验室,浙江,杭州,310027
2. LORIA-TRIO Campus Scientifique,B.P.239 54506 VANDOEUVRE,France |
| |
| 基金项目： | 国家自然科学基金;中-法合作项目 |
| |
| 摘 要： | 从弱硬实时系统定义出发,概述现有弱硬实时约束规范及其相互关系,提出了一种约束规范(m,p),与已有的约束规范作了严格性强弱的比较,并给予了证明;同时修正了Bernat提出的一个约束强弱比较的定理.
|
| 关 键 词： | 约束规范 弱硬实时系统 严格性 |
| 收稿时间： | 2005-07-20 |
| 修稿时间： | 3/7/2006 12:00:00 AM |
Constraint Specification of Weakly Hard Real-Time System |
| |
| CHEN Ji-Ming,SONG Ye-Qiong and SUN You-Xian.Constraint Specification of Weakly Hard Real-Time System[J].Journal of Software,2006,17(12):2601-2608. |
| |
| Authors: | CHEN Ji-Ming SONG Ye-Qiong and SUN You-Xian |
| |
| Affiliation: | 1.National Laboratory of Industrial Control Technology, Zhejiang University, Hangzhou 310027, China;2.LORIA-TRIO Campus Scientifique, B.P.239 54506 VANDOEUVRE, France |
| |
| 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. |
| |
| Keywords: | (m k)-firm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
