Sökning: onr:"swepub:oai:DiVA.org:mdh-33795" >
Hard Real-Time Guar...
Hard Real-Time Guarantees in Feedback-based Resource Reservations
-
- Papadopoulos, Alessandro (författare)
- Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH,Lund University, Lund, Sweden
-
- Maggio, Martina (författare)
- Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH,Lund University, Lund, Sweden
-
- Leva, Alberto (författare)
- Politecnico di Milano, Milano, Italy
-
visa fler...
-
- Bini, Enrico (författare)
- Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH,Scuola Superiore Sant’Anna, Pisa, Italy
-
visa färre...
-
(creator_code:org_t)
- 2015-04-16
- 2015
- Engelska.
-
Ingår i: Real-Time Systems RTSJ. - United States : Springer US. - 0922-6443 .- 1573-1383. ; 51:3, s. 221-246
- Relaterad länk:
-
http://dx.doi.org/10... (free)
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://lup.lub.lu.s...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Nyckelord
- Compositional analysis
- Resource reservation
- Feedback control
- Hard real-time systems
- Supply bound function
- Minimizing ell-infinity gain
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas