liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Optimizing the Resource Requirements of Hierarchical Scheduling Systems
INRIA/IRISA, France.
INRIA/IRISA, France.
INRIA/IRISA, France.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
Show others and affiliations
2016 (English)In: SIGBED Review, ISSN 1551-3688, Vol. 13, no 3, 41-48 p.Article in journal (Other academic) Published
Abstract [en]

Compositional reasoning on hierarchical scheduling systems is a well-founded formal method that can construct schedulable and optimal system configurations in a compositional way. However, a compositional framework formulates the resource requirement of a component, called an interface, by assuming that a resource is always supplied by the parent components in the most pessimistic way. For this reason, the component interface demands more resources than the amount of resources that are really sufficient to satisfy sub-components. We provide two new supply bound functions which provides tighter bounds on the resource requirements of individual components. The tighter bounds are calculated by using more information about the scheduling system.

We evaluate our new tighter bounds by using a model-based schedulability framework for hierarchical scheduling systems realized as Uppaal models. The timed models are checked using model checking tools Uppaal and Uppaal SMC, and we compare our results with the state of the art tool CARTS.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2016. Vol. 13, no 3, 41-48 p.
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:liu:diva-141889DOI: 10.1145/2983185.2983192OAI: oai:DiVA.org:liu-141889DiVA: diva2:1148675
Available from: 2017-10-12 Created: 2017-10-12 Last updated: 2017-10-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Boudjadar, Abdeldjalil

Search in DiVA

By author/editor
Boudjadar, Abdeldjalil
By organisation
Software and SystemsFaculty of Science & Engineering
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 52 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf