任健康

个人信息Personal Information

副教授

硕士生导师

性别:男

毕业院校:大连理工大学

学位:博士

所在单位:计算机科学与技术学院

学科:计算机应用技术

办公地点:创新园大厦A826

联系方式:rjk@dlut.edu.cn

电子邮箱:rjk@dlut.edu.cn

扫描关注

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

Execution allowance based fixed priority scheduling for probabilistic real-time systems

点击次数:

论文类型:期刊论文

发表时间:2019-06-01

发表刊物:JOURNAL OF SYSTEMS AND SOFTWARE

收录刊物:SCIE、EI

卷号:152

页面范围:120-133

ISSN号:0164-1212

关键字:Probabilistic; Fixed priority scheduling; Real-time systems

摘要:Real-time systems tend to be probabilistic in nature because of the performance variations of complex chips. We present an execution allowance based fixed priority scheduling scheme for probabilistic real-time systems. This scheme consists of a probabilistic Worst Case Execution Time reshaping algorithm and a fixed priority scheduling strategy. It assigns a specific execution allowance to each task and schedules tasks under the Rate Monotonic policy. We present a schedulability analysis and show how to determine an appropriate execution allowance for each task. Evaluation shows that our proposed scheme can significantly outperform the existing approaches. (C) 2019 Elsevier Inc. All rights reserved.