Exact and Approximate Supply Bound Function for Multiprocessor Periodic Resource Model: Unsynchronized Servers
2012 (English)Conference paper (Refereed)Text
The Multi Processor Periodic Resource (MPR) model has been proposed for modeling compositional real-time systems which run on a shared multi processor hardware. In this paper we extend the MPR model such that the execution of virtual processors (servers) is not assumed to be synchronized i.e., the servers can have different phases. We believe that relaxing the server synchronization requirement provides greater deal of compatibility for implementing such a compositional method on various hardware platforms. We derive the resource supply bound function of the extended MPR model using an algorithm. Furthermore, we suggest an approach to calculate an approximate supply bound function with lower computational complexity for systems where calculating their supply bound function is computationally expensive.
Place, publisher, year, edition, pages
ACM Press, 2012.
IdentifiersURN: urn:nbn:se:kth:diva-179016DOI: 10.1145/2544350.2544351OAI: oai:DiVA.org:kth-179016DiVA: diva2:878747
5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012), San Juan, Puerto Rico, December 4, 2012
QC 201512102012-12-202015-12-092015-12-10Bibliographically approved