Hardware support for Static-Priority Stack Resource Policy based scheduling

Lindgren, Per; Dzialo, Pawel; Lunnikivi, Henri (2023)
 
Avaa tiedosto
Lataukset: 



Lindgren, Per
Dzialo, Pawel
Lunnikivi, Henri
IEEE
2023


This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited
doi:10.1109/ISIE51358.2023.10228088
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tuni-202401171562

Kuvaus

Peer reviewed
Tiivistelmä
Stack Resource Policy based scheduling comes with unique properties such as race- and deadlock-free scheduling, bounded priority inversion and single stack execution. In this paper we survey the outset for SRP based scheduling for a set of representative modern 32-bit micro-controller families. We show that requirements for hardware accelerated SRP based scheduling are met, allowing for effective implementation by the Rust RTIC framework and a path towards predictable, robust, reliable and secure firmware for industrial applications.
Kokoelmat