任健康

个人信息Personal Information

副教授

硕士生导师

性别:男

毕业院校:大连理工大学

学位:博士

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

学科:计算机应用技术

办公地点:创新园大厦A826

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

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

扫描关注

论文成果

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

Probabilistic response-time analysis for real-time systems in body area sensor networks

点击次数:

论文类型:期刊论文

发表时间:2015-11-10

发表刊物:INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS

收录刊物:SCIE、EI、Scopus

卷号:28

期号:16

页面范围:2145-2166

ISSN号:1074-5351

关键字:probabilistic real-time systems; body area sensor networks; probabilistic response-time analysis; fixed-priority preemptive scheduling

摘要:Advances in real-time system and wireless communication have led to the deployment of body area sensor networks (BASNs) for effective real-time healthcare applications. Real-time systems in BASNs tend increasingly to be probabilistic and mixed critical to meet stringent requirements on space, weight, and power consumption. Response-time analysis is an important and challenging task for BASNs to provide some critical services. In this paper, we propose a request-based compositional probabilistic response-time analysis framework for probabilistic real-time task models with fixed-priority preemptive scheduling in BASNs. In this method, each probabilistic real-time task is abstracted as a probabilistic request function. Rough response-time distribution is computed first based on the cumulative request distribution and then exact response-time distribution is obtained by refinement based on the request increase distribution. Our strategy can effectively improve performance by reducing repetitive computational overhead for the probabilistic response-time analysis of all tasks in the system. Our evaluation demonstrates that our proposed method significantly outperforms the existing probabilistic response-time analysis algorithm in terms of analysis duration. Copyright (c) 2015 John Wiley & Sons, Ltd.