loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC)
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking
May 05-May 07
ISBN: 978-0-7695-3132-8
ASCII Text
x 
 
Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu, "Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 556-560, 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008.
 
 
BibTex
x
 
@article{ 10.1109/ISORC.2008.74,
author = {Nan Guan and Zonghua Gu and Mingsong Lv and Qingxu Deng and Ge Yu},
title = {Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3132-8},
pages = {556-560},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.74},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking
SN - 978-0-7695-3132-8
SP556
EP560
A1 - Nan Guan,
A1 - Zonghua Gu,
A1 - Mingsong Lv,
A1 - Qingxu Deng,
A1 - Ge Yu,
PY - 2008
KW - Schedulability
KW - real-time scheduling
KW - symbolic model-checking
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -
 
As Moore's law comes to an end, multi-processor (MP) systems are becoming increasingly important in embedded systems design, hence real-time schedulability analysis for MP systems has become an important research topic. In this paper, we present an exact method for schedulability analysis of global multiprocessor scheduling with either Fixed-Priority (FP) or Earliest-Deadline-First (EDF) algorithms using the model-checker NuSMV. Compared to safe but pessimistic schedulability tests based on processor utilization bounds, model-checking can provide an exact answer to the schedulability of a taskset, as well as quantitative information on each task's best-case and worst-case response times.
Index Terms:
Schedulability, real-time scheduling, symbolic model-checking
Citation:
Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu, "Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking," isorc, pp.556-560, 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008
Usage of this product signifies your acceptance of the Terms of Use.