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
N1 - Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].
PY - 2007
Y1 - 2007
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. © IFIP International Federation for Information Processing 2007.
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. © IFIP International Federation for Information Processing 2007.
UR - https://www.scopus.com/pages/publications/38149102388
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-38149102388&origin=recordpage
UR - https://app-overton-io.ezproxy.cityu.edu.hk/articles.php?query=10.1007/978-3-540-75664-4_26
U2 - 10.1007/978-3-540-75664-4_26
DO - 10.1007/978-3-540-75664-4_26
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9783540756637
VL - 4761 LNCS
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
PB - Springer Verlag
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 -