mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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 (engelsk)Inngår i: Real-Time Systems RTSJ, ISSN 0922-6443, Vol. 51, nr 3, s. 221-246Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
United States: Springer US , 2015. Vol. 51, nr 3, s. 221-246
Emneord [en]
Compositional analysis, Resource reservation, Feedback control, Hard real-time systems, Supply bound function, Minimizing ell-infinity gain
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-33795DOI: 10.1007/s11241-015-9224-1OAI: oai:DiVA.org:mdh-33795DiVA, id: diva2:1048556
Tilgjengelig fra: 2016-11-21 Laget: 2016-11-21 Sist oppdatert: 2018-01-26bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Søk i DiVA

Av forfatter/redaktør
Papadopoulos, Alessandro

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 10 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf