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
An engineering approach to synchronization based on overrun for compositional real-time systems
Technische Universiteit Eindhoven.
Technische Universiteit Eindhoven.
Technische Universiteit Eindhoven.ORCID iD: 0000-0001-6234-5117
Technische Universiteit Eindhoven.
Show others and affiliations
2011 (English)In: SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings, 2011, 274-283 p.Conference paper, Published paper (Refereed)
Abstract [en]

Hierarchical scheduling frameworks (HSFs) provide means for composing complex real-time systems from well-defined independently developed and analyzed subsystems. To support shared logical resources requiring mutual exclusive access in two-level HSFs, overrun without payback has been proposed as a mechanism to prevent budget depletion during resource access arbitrated by the stack resource policy (SRP). In this paper, we revisit the global schedulability analysis of synchronization protocols based on SRP and overrun without payback for fixed-priority scheduled HSFs. We derive a new global schedulability analysis based on the observation that the overrun budget is merely meant to prevent budget depletion during global resource access. The deadline of a subsystem therefore only needs to hold for its normal budget rather than the sum of the normal and overrun budget. Our novel analysis is considerably simpler than an earlier, initially improved analysis, which improved both the original local and global schedulability analyses. We evaluate the new analysis based on an extensive simulation study and compare the results with the existing analysis. Our simplified analysis does not significantly affect schedulability compared to the initially improved analysis. It is therefore proposed as a preferable engineering approach to synchronization protocols for compositional real-time systems. We accordingly present the implementation of our improvement in an OSEK-compliant real-time operating system to sketch its applicability in today's industrial automotive standards. Both implementation and run-time overheads are discussed providing measured results1. © 2011 IEEE.

Place, publisher, year, edition, pages
2011. 274-283 p.
Keyword [en]
Automotive standards, Complex real-time systems, Extensive simulations, Global resources, Hierarchical scheduling, Measured results, Real time operating system, Resource access, Runtimes, Schedulability, Schedulability analysis, Simplified analysis, Stack resource policies, Synchronization protocols, Budget control, Computer operating systems, Embedded systems, Hierarchical systems, Industry, Synchronization, Real time systems
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:mdh:diva-16027DOI: 10.1109/SIES.2011.5953671Scopus ID: 2-s2.0-80051975254ISBN: 9781612848204 (print)OAI: oai:DiVA.org:mdh-16027DiVA: diva2:564670
Conference
6th IEEE International Symposium on Industrial Embedded Systems, SIES 2011, 15 June 2011 through 17 June 2011, Västerås
Available from: 2012-11-02 Created: 2012-10-29 Last updated: 2014-01-09Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Bril, R. J.Behnam, MorisNolte, Thomas
By organisation
School of Innovation, Design and Engineering
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 23 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