| 一种弱硬实时约束规范 |
| |
| 引用本文： | 张 健,朱旭东.一种弱硬实时约束规范[J].计算机工程,2010,36(13):263-264,268. |
| |
| 作者姓名： | 张 健 朱旭东 |
| |
| 作者单位： | (广东海洋大学信息学院，湛江 524088) |
| |
| 摘 要： | 当弱硬实时系统约束规范中μ-patterns首个字符为0时，弱硬实时约束规范 就失去作用。针对该问题，通过改变截止期满足率的计算方法，提出一个弱硬实时约束规范 ，在保持 优点的同时，扩大了其使用范围，并通过偏序证明来保证其优良 性能。
|
| 关 键 词： | 约束规范 严格性比较 弱硬实时系统 偏序关系 |
Weakly Hard Real-time Constraint Specification |
| |
| ZHANG Jian,ZHU Xu-dong.Weakly Hard Real-time Constraint Specification[J].Computer Engineering,2010,36(13):263-264,268. |
| |
| Authors: | ZHANG Jian ZHU Xu-dong |
| |
| Affiliation: | (School of Information, Guangdong Ocean University, Zhanjiang 524088) |
| |
| Abstract: | When the first number in μ-patterns of weakly hard real-time system is 0,the constraint specification（m,p） will be invalid.This paper puts forward a new constraint specification（m,p1） to solve the problem by changing the computing method of meeting the rate of deadline.The new constraint specification（m,p^1） not only retains the advantages of（m,p） but also widens the scope of its usage.The high performance is verified by proof of partial order. |
| |
| Keywords: | constrain specification strict comparison weakly hard real-time system partial order |
| 本文献已被 维普 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
