位置:成果数据库 > 期刊 > 期刊详情页
基于path RTL的弱硬实时系统
  • ISSN号:1000-1220
  • 期刊名称:《小型微型计算机系统》
  • 时间:0
  • 分类:TP316[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]广东海洋大学信息学院,广东湛江524088, [2]中山大学信息科学与技术学院,广州510275
  • 相关基金:国家自然科学基金项目(61033010)资助
中文摘要:

弱硬实时系统是实时系统中的一个重要研究领域.经典弱硬实时系统以任务流中任务满足或错过的个数来约束系统性能,存在着无法准确表达系统实时特性的不足,以及弱硬实时的可靠性无法证明的缺陷.通过提出弹性截止期的概念,定义基于path RTL的弱硬实时系统,有效解决了经典弱硬实时系统可靠性无法证明的难题;实现了弱硬实时系统的约束由时间特性来表达的目标;对于新兴出现的弱硬实时应用提供了完整的解决方案;同时也对经典弱硬实时系统提出了规约算法,以充分利用经典弱硬实时系统在约束规范、调度算法等方面已有研究成果.通过比较,path RTL弱硬实时系统在系统完整性、系统可靠性和应用领域等方面,比经典弱硬实时系统具有优势.

英文摘要:

Weakly hard real-time system has become increasingly important in the research of real-time system.However,classic weakly hard real-time system fails to show its advantage of real-time performance with the constraint by the number of tasks meeting or missing the deadline and has an obvious defect that the reliability of it can not be proved.With the concept of "flexible deadline",this paper puts forward a novel weakly hard real-time system based on path RTL,which can efficiently solve the problem that the reliability of classic weakly real-time system can not be proved,and implement the constraint of weakly hard real-time with time-depended arguments.The novel weakly hard real-time also provides solutions for the newly emerged applications of weakly hard real-time systems.Moreover,a procedure is proposed to term the classic weakly hard real-time system so as to make the best of its existing research achievements in constraint specification and scheduling algorithm.The result shows that as compared with classic weakly real-time system,the new weakly hard real-time system based on path RTL has a better performance in system integrity,reliability and application fields.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《小型微型计算机系统》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院沈阳计算技术研究所
  • 主编:林浒
  • 地址:沈阳市浑南新区南屏东路16号
  • 邮编:110168
  • 邮箱:xwjxt@sict.ac.cn
  • 电话:024-24696120 024-24696190-8870
  • 国际标准刊号:ISSN:1000-1220
  • 国内统一刊号:ISSN:21-1106/TP
  • 邮发代号:8-108
  • 获奖情况:
  • 中国自然科学核心期刊,中国科学引文数据库来源期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:23212