“Uniform Multiprocessor Periodic Resource model”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=inproceedings |document=Document for Publication-Craveiro13umpr.pdf |title=Uniform Multiprocessor Periodic Resource model |author=João Pedro Craveiro, José ...") |
|||
Line 3: | Line 3: | ||
|document=Document for Publication-Craveiro13umpr.pdf | |document=Document for Publication-Craveiro13umpr.pdf | ||
|title=Uniform Multiprocessor Periodic Resource model | |title=Uniform Multiprocessor Periodic Resource model | ||
- | |author=João Pedro Craveiro, José Rufino, | + | |author=João Pedro Craveiro, José Rufino, |
- | |Project=Project:READAPT, | + | |Project=Project:READAPT, |
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=jul | |month=jul | ||
Line 12: | Line 12: | ||
|booktitle=4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013) | |booktitle=4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013) | ||
|intype=Extended Abstract in | |intype=Extended Abstract in | ||
+ | |pages=14-15 | ||
}} | }} |
Revision as of 10:46, 29 May 2015
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
Project(s): Project:READAPT
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)