Hardware support for Static-Priority Stack Resource Policy based scheduling

Per Lindgren; Pawel Dzialo; Henri Lunnikivi

doi:10.1109/ISIE51358.2023.10228088

Hardware support for Static-Priority Stack Resource Policy based scheduling

Per Lindgren
, Pawel Dzialo
, Henri Lunnikivi

Computing Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

5 Citations (Scopus)

170 Downloads (Pure)

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.

Original language	English
Title of host publication	2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)
Publisher	IEEE
Pages	1-5
Number of pages	5
ISBN (Electronic)	9798350399714
DOIs	https://doi.org/10.1109/ISIE51358.2023.10228088
Publication status	Published - 2023
Publication type	A4 Article in conference proceedings
Event	International Symposium on Industrial Electronics - Helsinki-Espoo, Finland Duration: 19 Jun 2023 → 21 Jun 2023

Publication series

Name	Proceedings of the IEEE International Symposium on Industrial Electronics
Volume	2023-June
ISSN (Electronic)	2163-5145

Conference

Conference	International Symposium on Industrial Electronics
Country/Territory	Finland
City	Helsinki-Espoo
Period	19/06/23 → 21/06/23

Publication forum classification

Publication forum level 1

Access to Document

10.1109/ISIE51358.2023.10228088

Hardware_support_for_Stack_Resource_Policy_based_scheduling
©2023 IEEE. This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Accepted author manuscript, 147 KBLicence: Unspecified

https://urn.fi/URN:NBN:fi:tuni-202401171562Licence: Unspecified

Cite this

@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",

}

Lindgren, P, Dzialo, P & Lunnikivi, H 2023, Hardware support for Static-Priority Stack Resource Policy based scheduling. in 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE). Proceedings of the IEEE International Symposium on Industrial Electronics, vol. 2023-June, IEEE, pp. 1-5, International Symposium on Industrial Electronics, Helsinki-Espoo, Finland, 19/06/23. https://doi.org/10.1109/ISIE51358.2023.10228088

Hardware support for Static-Priority Stack Resource Policy based scheduling. / Lindgren, Per; Dzialo, Pawel; Lunnikivi, Henri.
2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE). IEEE, 2023. p. 1-5 (Proceedings of the IEEE International Symposium on Industrial Electronics; Vol. 2023-June).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Hardware support for Static-Priority Stack Resource Policy based scheduling

AU - Lindgren, Per

AU - Dzialo, Pawel

AU - Lunnikivi, Henri

PY - 2023

Y1 - 2023

N2 - 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.

AB - 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.

U2 - 10.1109/ISIE51358.2023.10228088

DO - 10.1109/ISIE51358.2023.10228088

M3 - Conference contribution

T3 - Proceedings of the IEEE International Symposium on Industrial Electronics

SP - 1

EP - 5

BT - 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)

PB - IEEE

T2 - International Symposium on Industrial Electronics

Y2 - 19 June 2023 through 21 June 2023

ER -

Hardware support for Static-Priority Stack Resource Policy based scheduling

Abstract

Publication series

Conference

Publication forum classification

Access to Document

Fingerprint

Cite this