mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Transparent synchronization protocols for compositional real-time systems
Eindhoven University of Technology, Netherlands .
Eindhoven University of Technology, Netherlands . (IS (Embedded Systems))ORCID iD: 0000-0001-6234-5117
Eindhoven University of Technology, Netherlands .
2012 (English)In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, Vol. 8, no 2, 322-336 p.Article in journal (Refereed) Published
Abstract [en]

Hierarchical scheduling frameworks (HSFs) provide means for composing complex real-time systems from well-defined, independently analyzed components. To support resource sharing in two-level HSFs, three synchronization protocols based on the stack resource policy (SRP) have recently been presented for single-processor execution platforms, i.e., HSRP, SIRAP, and BROE. This paper presents a transparent implementation of these three protocols side-by-side in an HSF-enabled real-time operating system. Transparent synchronization interfaces make it possible to select a protocol during integration time based on its relative strengths.A timing interface describes the required budget to execute a component on a shared platform and an accessor's maximum critical- section execution time to global shared resources. These resources are arbitrated based on the available budget of the accessing task.We enable this explicit synchronization of virtual time with global time by means of a novel virtual-timer mechanism. Moreover, we investigate system overheads caused by each synchronization protocol, so that these can be included in the system analysis. Based on the analytical and implementation overheads of each protocol, we present guidelines for the selection of a synchronization protocol during system integration. Finally, we show that unknown task-arrival times considerably complicate an efficient implementation of SIRAP's self-suspension mechanism. We briefly discuss the implementation complexity caused by these arrivals for bandwidth-preserving servers, e.g., deferrable servers and BROE.

Place, publisher, year, edition, pages
2012. Vol. 8, no 2, 322-336 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23585DOI: 10.1109/TII.2011.2172448ISI: 000302720000013Scopus ID: 2-s2.0-84859916589OAI: oai:DiVA.org:mdh-23585DiVA: diva2:679683
Available from: 2013-12-16 Created: 2013-12-16 Last updated: 2014-06-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Bril, Reinder J.
In the same journal
IEEE Transactions on Industrial Informatics
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 19 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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