Search For:

Displaying 1-1 out of 1 total
Compositional Verification for Hierarchical Scheduling of Real-Time Systems
Found in: IEEE Transactions on Software Engineering
By Laura Carnevali,Alessandro Pinzuti,Enrico Vicario
Issue Date:May 2013
pp. 638-657
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...