Survey on Periodic Scheduling for Time-Triggered Hard Real-Time Systems
Typ dokumentu
článek v časopisejournal article
Peer-reviewed
submittedVersion
Autor
Minaeva A.
Hanzálek Z.
Práva
openAccessMetadata
Zobrazit celý záznamAbstrakt
This survey covers the basic principles and related works addressing the time-triggered scheduling of periodic tasks with deadlines. The wide range of applications and the increasing complexity of modern real-time systems result in the continually growing interest in this topic. However, the articles in this field appear without systematic notation. To address it, we extend the three-field Graham notation to cover periodic
scheduling. Moreover, we formally define three example periodic scheduling problems (PSPs) and provide straightforward implementations of these examples in the Satisfiability Modulo Theories formalism with source codes. Then, we present a summary of the complexity results containing existing polynomially solvable PSPs. We also provide an overview of simple state-of-the-art methods and tricks to solve the PSPs efficiently in
terms of time. Next, we survey the existing works on PSP according to the resource environment: scheduling on a single resource, on parallel identical resources, and on dedicated resources. In the survey, we indicate which works propose solution methods for more general PSPs that can be used to solve less general ones. Finally, we present related problems that are not periodic by nature to provide an inspiration for a possible
solution for the PSP.
Zobrazit/ otevřít
Kolekce
- Publikační činnost ČVUT [1304]