Compositional Verification for Hierarchical Scheduling of Real-Time Systems
IEEE Transactions on Software Engineering
By Laura Carnevali,Alessandro Pinzuti,Enrico Vicario
Issue Date:May 2013
Hierarchical Scheduling (HS) techniques achieve resource partitioning among a set of real-time applications, providing reduction of complexity, confinement of failure modes, and temporal isolation among system applications. This facilitates compositional a...