Hardware support for Static-Priority Stack Resource Policy based scheduling

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.