Journal Article

Compositional Multiprocessor Scheduling: the GMPR interface

Artem Burmyakov, Enrico Bini, Eduardo Tovar


Composition is a practice of key importance in software engineering. When real-time applications are composed, it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface typically contains information about the amount of computing capacity needed by the application. In multiprocessor platforms, the interface should also present information about the degree of parallelism. Therefore it is with no surprise that several interface proposals have recently been put forward in various research works. However, those interface proposals are either too complex to be handled or too pessimistic. In this paper we propose the Generalized Multiprocessor Periodic Resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We describe a method to generate the interface from the application specification. This method has been implemented in Matlab routines that are publicly available.


Real-Time Systems, 50:3, pp. 342–376,2014.