Qureshi, Muhammad Bilal ; Alrashed, Saleh ; Min-Allah, Nasro ; Kołodziej, Joanna ; Arabas, Piotr
Iacono, Mauro - ed. ; Kołodziej, Joanna - ed.
When there is a mismatch between the cardinality of a periodic task set and the priority levels supported by the underlying hardware systems, multiple tasks are grouped into one class so as to maintain a specific level of confidence in their accuracy. However, such a transformation is achieved at the expense of the loss of schedulability of the original task set. ; We further investigate the aforementioned problem and report the following contributions: (i) a novel technique for mapping unlimited priority tasks into a reduced number of classes that do not violate the schedulability of the original task set and (ii) an efficient feasibility test that eliminates insufficient points during the feasibility analysis. ; The theoretical correctness of both contributions is checked through formal verifications. Moreover, the experimental results reveal the superiority of our work over the existing feasibility tests by reducing the number of scheduling points that are needed otherwise.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 25, number 4 (2015) ; kliknij tutaj, żeby przejść
Biblioteka Uniwersytetu Zielonogórskiego
14 lip 2025
6 maj 2024
151
https://zbc.uz.zgora.pl/repozytorium/publication/88913
| Nazwa wydania | Data |
|---|---|
| Maintaining the feasibility of hard real-time systems with a reduced number of priority levels | 14 lip 2025 |
Zhang, Fengxiang Zhai, Yanfeng Liao, Jianwei Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Kołodziej, Joanna Xhafa, Fatos Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Vasiliu, Laura Pop, Florin Negru, Catalin Mocanu, Mariana Cristea, Valentin Kołodziej, Joanna Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Gruzlikov, Alexander M. Kolesov, Nikolai V. Tolmacheva, Marina V. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Piórkowski, Adam Werewka, Jan Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Xiao, Man Liu, Xiaoqiao Li, Weidong Chen, Xin Sterna, Małgorzata Blazewicz, Jacek Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Ochałek, Agnieszka Niewiem, Witold Puniach, Edyta Ćwiąkała, Paweł Kuczyński, Tadeusz - red.
Arabas, Piotr Malinowski, Krzysztof Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.