| 基于path RTL的弱硬实时系统 |
| |
| 引用本文： | 朱旭东,常会友,衣杨. 基于path RTL的弱硬实时系统[J]. 小型微型计算机系统, 2012, 33(8): 1862-1867 |
| |
| 作者姓名： | 朱旭东 常会友 衣杨 |
| |
| 作者单位： | 1. 广东海洋大学信息学院,广东湛江524088;中山大学信息科学与技术学院,广州510275
2. 中山大学信息科学与技术学院,广州,510275 |
| |
| 摘 要： | 弱硬实时系统是实时系统中的一个重要研究领域.经典弱硬实时系统以任务流中任务满足或错过的个数来约束系统性能,存在着无法准确表达系统实时特性的不足,以及弱硬实时的可靠性无法证明的缺陷.通过提出弹性截止期的概念,定义基于path RTL的弱硬实时系统,有效解决了经典弱硬实时系统可靠性无法证明的难题;实现了弱硬实时系统的约束由时间特性来表达的目标;对于新兴出现的弱硬实时应用提供了完整的解决方案;同时也对经典弱硬实时系统提出了规约算法,以充分利用经典弱硬实时系统在约束规范、调度算法等方面已有研究成果.通过比较,path RTL弱硬实时系统在系统完整性、系统可靠性和应用领域等方面,比经典弱硬实时系统具有优势.
|
| 关 键 词： | 弱硬实时系统 path RTL 弹性截止期 规约 |
Novel Weakly Hard Real-time System Based on Path RTL |
| |
| ZHU Xu-dong , CHANG Hui-you , YI Yang. Novel Weakly Hard Real-time System Based on Path RTL[J]. Mini-micro Systems, 2012, 33(8): 1862-1867 |
| |
| Authors: | ZHU Xu-dong CHANG Hui-you YI Yang |
| |
| Affiliation: | 1(School of Information,Guangdong Ocean University,Zhanjiang 524088,China) 2(School of Information Science and Technology,Sun Yat-sen University,Guangzhou 510275,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
