Formalization and verification of mode changes in hierarchical scheduling
Hang Yin, Rafia Inam, Reinder J. Bril, Mikael Sjödin · Nordic Workshop Programming Theory · 2014
Hierarchical scheduling frameworks (HSFs) are a means for composing complex real-time embedded systems from independently developed and analyzed applications. To support multiple modes in a two-lev ...