TY - GEN
T1 - Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking
AU - Guan, Nan
AU - Gu, Zonghua
AU - Deng, Qingxu
AU - Gao, Shuaihong
AU - Yu, Ge
PY - 2007/12/1
Y1 - 2007/12/1
N2 - To determine schedulability of priority-driven periodic tasksets on multi-processor systems, it is necessary to rely on utilization bound tests that are safe but pessimistic, since there is no known method for exact schedulability analysis for multi-processor systems analogous to the response time analysis algorithm for single-processor systems. In this paper, we use model-checking to provide a technique for exact multiprocessor scheduability analysis by modeling the real-time multi-tasking system with Timed Automata (TA), and transforming the schedulability analysis problem into the reachability checking problem of the TA model.
AB - To determine schedulability of priority-driven periodic tasksets on multi-processor systems, it is necessary to rely on utilization bound tests that are safe but pessimistic, since there is no known method for exact schedulability analysis for multi-processor systems analogous to the response time analysis algorithm for single-processor systems. In this paper, we use model-checking to provide a technique for exact multiprocessor scheduability analysis by modeling the real-time multi-tasking system with Timed Automata (TA), and transforming the schedulability analysis problem into the reachability checking problem of the TA model.
UR - http://www.scopus.com/inward/record.url?scp=38149102388&partnerID=8YFLogxK
M3 - Conference article published in proceeding or book
SN - 9783540756637
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 263
EP - 272
BT - Software Technologies for Embedded and Ubiquitous Systems - 5th IFIP WG 10.2 International Workshop, SEUS 2007, Revised Papers
T2 - 5th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2007
Y2 - 7 May 2007 through 8 May 2007
ER -