QCSP based Schedulability Test of Real-time System

摘要：

　　The problem of schedulability test of real-time task in scheduling system has been addressed.In such as real-time scheduling problems with uncertain interrupt operation,Quantified Constraint Satisfaction Problems (QCSP) were introduced to model and solve CSP involving uncertainty or uncontrollability on the value taken by some variables.In this paper,we propose to a novel approach to schedulability test based on the QCSP model.Based on the QCSP model of scheduler and interrupter in the real-time scheduling system,we transform the schedulability test into the satisfability problem.Finally,we design the algorithm QCSP-SchTest for judging the satisfability of a schedule S(α).This leads to a new schedulability test method without considering the specific scheduling algorithm or strategy.

关键词： Real-time Scheduling System Schedulability Test Constraint Programming Quantified Constraint Satisfaction Problem

作者: ZHANG Juyang CHEN Yixiang

作者单位: Software Engineering Institution,East China Normal University,Shanghai,P.R.China

会议类型: 国际会议

会议名称: 2012 2nd International conference on Machinery Electronics and Control Engineering (2012年第二届国际机械电子与控制工程会议(ICMECE 2012))

会议地点: 济南

会议语种:英文

页码: 1214-1217

在线出版日期: 2012-12-29（万方平台首次上网日期，不代表论文的发表时间）