Academic Journal

Automation of scheduling for periodic real-time systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Automation of scheduling for periodic real-time systems
Συγγραφείς: A.V. Tretyakov
Πηγή: Труды Института системного программирования РАН, Vol 22, Iss 0 (2018)
Στοιχεία εκδότη: Institute for System Programming of the Russian Academy of Sciences, 2012.
Έτος έκδοσης: 2012
Θεματικοί όροι: 0209 industrial biotechnology, Electronic computers. Computer science, построение расписаний, системы реального времеени, жесткие периодические задачи, временные ограничения, np-сложная проблема, интегрированная модульная авионика, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology
Περιγραφή: In the paper, we consider the scheduling problem for strictly periodic real-time systems. Strict periodicity means that all release points of all instances of any task must produce an arithmetic progression. Classical scheduling algorithms, such as Earliest Deadline First (EDF) and Rate-Monotonic Scheduling (RMS), are not applicable under strict periodicity constraint. The main problem is to search release points for all tasks. In fact, this search is NP-hard problem.First, we study some necessary schedulability conditions for both classical and strictly periodic schedulability problem. Next, we suggest scheduling algorithm that consists of two main parts: heuristic algorithm of release points search, and scheduling algorithm for given release points. The algorithm of release points search is based on some ideas in number theory that allows iterate not all possible release points but only such points that with a high probability yields correct schedule. The scheduling algorithm for given release points is based on ideas of EDF algorithm.Finally, we present developed tool set that provides automated scheduling of given tasks, allows visualization of generated schedule, provides GUI to edit schedule, and supports validation of built schedules. This tool set is a part of workspace for design of modern avionics systems developed in ISP RAS.
Τύπος εγγράφου: Article
Other literature type
ISSN: 2220-6426
2079-8156
DOI: 10.15514/ispras-2012-22-20
Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2012/22/isp_22_2012_375.pdf
https://doaj.org/article/49a87ad2f50b4a03a64e168030123619
https://ispras.ru/en/proceedings/archives/isp_22_2012/isp_22_2012_375.php
Rights: CC BY
Αριθμός Καταχώρησης: edsair.doi.dedup.....1d76d24f0f95bb0853cc866e2ee1baff
Βάση Δεδομένων: OpenAIRE
Περιγραφή
ISSN:22206426
20798156
DOI:10.15514/ispras-2012-22-20