@inproceedings{97ea5bb839d240f1aad5c239eb361fb4,
title = "Hardware support for Static-Priority Stack Resource Policy based scheduling",
abstract = "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.",
author = "Per Lindgren and Pawel Dzialo and Henri Lunnikivi",
year = "2023",
doi = "10.1109/ISIE51358.2023.10228088",
language = "English",
series = "Proceedings of the IEEE International Symposium on Industrial Electronics",
publisher = "IEEE",
pages = "1--5",
booktitle = "2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)",
address = "United States",
note = "International Symposium on Industrial Electronics ; Conference date: 19-06-2023 Through 21-06-2023",
}