节点文献
基于平滑调度的弱硬实时系统约束规范
Constraint Specification of Weakly Hard Real-time Systems Based on Smooth Scheduling
【摘要】 约束规范是弱硬实时系统研究的基础。从弱硬实时系统的定义出发,提出了一个新的约束规范,它能够有效实现平滑调度。给出并证明了弱硬实时系统约束规范严格性比较的一个重要定理。业已证明,该约束规范具有良好的性能和较好的适用范围。
【Abstract】 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 theorem of weakly hard real-time constraint specification on strictness comparison.The result shows the new constrain specification works well and has wide application.
【关键词】 约束规范;
弱硬实时系统;
平滑调度;
【Key words】 Constraint specification; Weakly hard real-time systems; Smooth scheduling;
【Key words】 Constraint specification; Weakly hard real-time systems; Smooth scheduling;
【基金】 国家自然科学基金(编号:60573159)资助
- 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2010年03期
- 【分类号】TP316.2
- 【被引频次】4
- 【下载频次】99