“Uniform Multiprocessor Periodic Resource model”

From Navigators

Jump to: navigation, search

João Pedro Craveiro, José Rufino

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 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.

Download paper

Download Uniform Multiprocessor Periodic Resource model

Export citation

BibTeX

Project(s): Project:READAPT, Project:PROPHECY

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Personal tools
Navigators toolbox