Publication

At RTSOPS 2012, we presented the problem of compositional analysis of HSFs on uniform multiprocessors. In this fast abstract, we overview the progress made on the problem since then, and some ongoing work. For a detailed description with proofs, the reader is referred to the technical report. This is the first work explicitly dealing with compositional analysis of HSFs on uniform multiprocessor platforms. Our contributions so far are: (i) the uniform multiprocessor resource (UMPR) model to serve as a component interface for compositional analysis; (ii) a sufficient local schedulability test for sporadic task workloads using global EDF (gEDF) on the UMPR resource model; (iii) component abstraction guidelines to select the platform for the UMPR interface. We also briefly describe how we are dealing with the remaining open point — interface composition/intercomponent scheduling.