MINAEVA, A. and Z. HANZÁLEK. Survey on Periodic Scheduling for Time-Triggered Hard Real-Time Systems. ACM Computing Surveys. 2021, 54 ISSN 0360-0300. DOI 10.1145/3431232.
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.
eng
dc.format.mimetype
application/pdf
dc.language.iso
eng
dc.publisher
ACM
dc.relation.ispartof
ACM Computing Surveys
dc.subject
Hard real-time scheduling
eng
dc.subject
combinatorial optimization
eng
dc.subject
complexity
eng
dc.subject
integer linear programming
eng
dc.subject
constraint programming
eng
dc.subject
satisfiability modulo theories
eng
dc.title
Survey on Periodic Scheduling for Time-Triggered Hard Real-Time Systems