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