mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Hard Real-Time Guarantees in Feedback-based Resource Reservations
Lund University, Lund, Sweden.ORCID iD: 0000-0002-1364-8127
Lund University, Lund, Sweden.
Politecnico di Milano, Milano, Italy.
Scuola Superiore Sant’Anna, Pisa, Italy.
2015 (English)In: Real-Time Systems RTSJ, Vol. 51, no 3, 221-246 p.Article in journal (Refereed) Published
Abstract [en]

Resource reservation is a technique that allows isolating applications from interfering among each other. In the most classic setting, this method requires the periodic allocation of a given budget of resource over time. However, in reality, the actual budget allocation may deviate from its ideal value. Examples of causes of this deviation are: the presence of a system tick, the usage of shared resources, the self-blocking on I/O operations, etc. Since control techniques are an effective mean to deal with uncertainties and disturbances, unknown at design time but bounded, in this paper we propose to use feedback to achieve the target budget allocation, which may have deviated due to on-line events. The proposed scheme, called Self-Adaptive Server (SAS), is described and analyzed. We prove that the controller gain, which maximizes the resource delivered to the application, is (3-sqrt(5))/2. We also implemented the scheduler on a lightweight operating system for a microcontroller. Thanks to the extremely simple implementation, SAS servers are well suited for low-overhead resource isolation mechanisms with proved real-time guarantees.

Place, publisher, year, edition, pages
United States: Springer US , 2015. Vol. 51, no 3, 221-246 p.
Keyword [en]
Compositional analysis, Resource reservation, Feedback control, Hard real-time systems, Supply bound function, Minimizing ell-infinity gain
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-33795DOI: 10.1007/s11241-015-9224-1OAI: oai:DiVA.org:mdh-33795DiVA: diva2:1048556
Available from: 2016-11-21 Created: 2016-11-21 Last updated: 2016-12-27Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Papadopoulos, Alessandro
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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