Linköping Studies in Science and Technology No. 1506, 2013
Magnus Ingmarsson
2013
Magnus Ingmarsson
The Perfect Recommendation Does Not Exist
Creating & Enabling the Useful Service Discovery Experience
Linköping Studies in Science and Technology Dissertations. No. 1559
Stability of Adaptive
Distributed Real-Time Systems
with Dynamic Resource Management
Sergiu Rafiliu
Sergiu Rafiliu
Stability of Adaptive Distributed Real-Time Systems with Dynamic Resource Management 2013
Today’s embedded distributed real-time systems are exposed to large variations in resource usage due to complex software applications, sophisticated hardware platforms, and the impact of their run-time environment. As efficiency becomes more important, the applications running on these systems are extended with on-line resource managers whose job is to adapt the system in the face of such variations. Distributed systems are often heterogeneous, meaning that the hardware platform consists of computing nodes with different performance, operating systems, and scheduling policies, linked through one or more networks using different protocols.
In this thesis we explore weather resource managers used in such distributed embedded systems are stable, meaning that the system’s resource usage is controlled under all possible run-time scenarios. Stability implies a bounded worst-case behavior of the system and can be linked with classic real-time systems’ properties such as bounded response times for the software applications. In the case of distributed systems, the stability problem is particularly hard because software applications distributed over the different resources generate complex, cyclic dependencies between the resources, that need to be taken into account. In this thesis we develop a detailed mathematical model of an adaptive, distributed real-time system and we derive conditions that, if satisfied, guarantee its stability.
Linköping Studies in Science and Technology No. 1559, 2013 Department of Computer and Information Science
Linköping University se-581 83 Linköping, Sweden