Advanced

Compositional Multiprocessor Scheduling: the GMPR interface

Burmyakov, Artem; Bini, Enrico LU and Tovar, Eduardo (2014) In Real-Time Systems 50(3). p.342-376
Abstract
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... (More)
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. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
in
Real-Time Systems
volume
50
issue
3
pages
342 - 376
publisher
Kluwer
external identifiers
  • wos:000334195100003
  • scopus:84899456046
ISSN
1573-1383
DOI
10.1007/s11241-013-9199-8
language
English
LU publication?
yes
id
7926ab18-8f47-4746-a28f-557208f61e3b (old id 4178545)
date added to LUP
2013-12-02 09:47:27
date last changed
2017-08-20 04:13:40
@article{7926ab18-8f47-4746-a28f-557208f61e3b,
  abstract     = {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.},
  author       = {Burmyakov, Artem and Bini, Enrico and Tovar, Eduardo},
  issn         = {1573-1383},
  language     = {eng},
  number       = {3},
  pages        = {342--376},
  publisher    = {Kluwer},
  series       = {Real-Time Systems},
  title        = {Compositional Multiprocessor Scheduling: the GMPR interface},
  url          = {http://dx.doi.org/10.1007/s11241-013-9199-8},
  volume       = {50},
  year         = {2014},
}