Schedulability analysis of global fixed-priority or EDF multiprocessor scheduling with symbolic model-checking

Nan Guan; Zonghua Gu; Mingsong Lv; Qingxu Deng; Ge Yu

doi:10.1109/ISORC.2008.74

Schedulability analysis of global fixed-priority or EDF multiprocessor scheduling with symbolic model-checking

Nan Guan
, Zonghua Gu
, Mingsong Lv
, Qingxu Deng
, Ge Yu

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

26 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings - 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008
Pages	556-560
Number of pages	5
DOIs	https://doi.org/10.1109/ISORC.2008.74
Publication status	Published - 22 Aug 2008
Externally published	Yes
Event	11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008 - Orlando, FL, United States Duration: 5 May 2008 → 7 May 2008

Conference

Conference	11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008
Country/Territory	United States
City	Orlando, FL
Period	5/05/08 → 7/05/08

ASJC Scopus subject areas

Computer Science Applications
Hardware and Architecture
Software

More information

10.1109/ISORC.2008.74

Cite this

@inproceedings{ef5f9f95eb9c4338a94c526a7971490b,

title = "Schedulability analysis of global fixed-priority or EDF multiprocessor scheduling with symbolic model-checking",

abstract = "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.",

author = "Nan Guan and Zonghua Gu and Mingsong Lv and Qingxu Deng and Ge Yu",

year = "2008",

month = aug,

day = "22",

doi = "10.1109/ISORC.2008.74",

language = "English",

isbn = "9780769531328",

pages = "556--560",

booktitle = "Proceedings - 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008",

note = "11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008 ; Conference date: 05-05-2008 Through 07-05-2008",

}

Guan, N, Gu, Z, Lv, M, Deng, Q & Yu, G 2008, Schedulability analysis of global fixed-priority or EDF multiprocessor scheduling with symbolic model-checking. in Proceedings - 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008., 4559587, pp. 556-560, 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008, Orlando, FL, United States, 5/05/08. https://doi.org/10.1109/ISORC.2008.74

Schedulability analysis of global fixed-priority or EDF multiprocessor scheduling with symbolic model-checking. / Guan, Nan; Gu, Zonghua; Lv, Mingsong et al.
Proceedings - 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008. 2008. p. 556-560 4559587.

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

TY - GEN

T1 - Schedulability analysis of global fixed-priority or EDF multiprocessor scheduling with symbolic model-checking

AU - Guan, Nan

AU - Gu, Zonghua

AU - Lv, Mingsong

AU - Deng, Qingxu

AU - Yu, Ge

PY - 2008/8/22

Y1 - 2008/8/22

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/49649094247

U2 - 10.1109/ISORC.2008.74

DO - 10.1109/ISORC.2008.74

M3 - Conference article published in proceeding or book

SN - 9780769531328

SP - 556

EP - 560

BT - Proceedings - 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008

T2 - 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2008

Y2 - 5 May 2008 through 7 May 2008

ER -

Schedulability analysis of global fixed-priority or EDF multiprocessor scheduling with symbolic model-checking

Abstract

Conference

ASJC Scopus subject areas

More information

Other files and links

Fingerprint

Cite this