“Uniform Multiprocessor Periodic Resource model”
Extended Abstract in 4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013), Paris, France, Jul. 2013, pp. 14–15.
Abstract: 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 ﬁrst 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 sufﬁcient 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 brieﬂy describe how we are dealing with the remaining open point — interface composition/intercomponent scheduling.
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)