基于平滑调度的弱硬实时系统约束规范  

Constraint Specification of Weakly Hard Real-time Systems Based on Smooth Scheduling

作　　者：朱旭东[1,2] 常会友[2] 衣杨[2] 陶乾[2] 

机构地区：[1]广东海洋大学信息学院,湛江524088 [2]中山大学信息科学与技术学院,广州510006

出　　处：《计算机科学》2010年第3期205-207,291,共4页Computer Science

基　　金：国家自然科学基金(编号:60573159)资助

摘　　要：约束规范是弱硬实时系统研究的基础。从弱硬实时系统的定义出发,提出了一个新的约束规范,它能够有效实现平滑调度。给出并证明了弱硬实时系统约束规范严格性比较的一个重要定理。业已证明,该约束规范具有良好的性能和较好的适用范围。Constraint specification is the foundation stone of the research of weakly hard real-time systems. From the perspective of the definitions of weakly hard real-time system, this paper put forward a new constraint specification,which can achieve smooth scheduling more efficiently. The paper also presented and proved an important weakly hard real-time constraint specification works well and has wide application on strictness comparison. The result shows the new constrain theorem of specification works well and has application.

关 键 词：约束规范 弱硬实时系统 平滑调度 

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