Analysis of Embedded Controllers Subject to Computational Overruns
(2023)- Abstract
- Microcontrollers have become an integral part of modern everyday embedded systems, such as smart bikes, cars, and drones. Typically, microcontrollers operate under real-time constraints, which require the timely execution of programs on the resource-constrained hardware. As embedded systems are becoming increasingly more complex, microcontrollers run the risk of violating their timing constraints, i.e., overrunning the program deadlines. Breaking these constraints can cause severe damage to both the embedded system and the humans interacting with the device. Therefore, it is crucial to analyse embedded systems properly to ensure that they do not pose any significant danger if the microcontroller overruns a few deadlines.
However,... (More) - Microcontrollers have become an integral part of modern everyday embedded systems, such as smart bikes, cars, and drones. Typically, microcontrollers operate under real-time constraints, which require the timely execution of programs on the resource-constrained hardware. As embedded systems are becoming increasingly more complex, microcontrollers run the risk of violating their timing constraints, i.e., overrunning the program deadlines. Breaking these constraints can cause severe damage to both the embedded system and the humans interacting with the device. Therefore, it is crucial to analyse embedded systems properly to ensure that they do not pose any significant danger if the microcontroller overruns a few deadlines.
However, there are very few tools available for assessing the safety and performance of embedded control systems when considering the implementation of the microcontroller. This thesis aims to fill this gap in the literature by presenting five papers on the analysis of embedded controllers subject to computational overruns. Details about the real-time operating system's implementation are included into the analysis, such as what happens to the controller's internal state representation when the timing constraints are violated. The contribution includes theoretical and computational tools for analysing the embedded system's stability, performance, and real-time properties.
The embedded controller is analysed under three different types of timing violations: blackout events (when no control computation is completed during long periods), weakly-hard constraints (when the number of deadline overruns is constrained over a window), and stochastic overruns (when violations of timing constraints are governed by a probabilistic process). These scenarios are combined with different implementation policies to reduce the gap between the analysis and its practical applicability. The analyses are further validated with a comprehensive experimental campaign performed on both a set of physical processes and multiple simulations.
In conclusion, the findings of this thesis reveal that the effect deadline overruns have on the embedded system heavily depends the implementation details and the system's dynamics. Additionally, the stability analysis of embedded controllers subject to deadline overruns is typically conservative, implying that additional insights can be gained by also analysing the system's performance. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/86cfbae1-788e-484e-84ec-cda95d0de68f
- author
- Vreman, Nils LU
- supervisor
-
- Martina Maggio LU
- Anton Cervin LU
- Karl-Erik Årzén LU
- opponent
-
- Professor Chakraborty, Samarjit, University of North Carolina
- organization
- publishing date
- 2023
- type
- Thesis
- publication status
- published
- subject
- keywords
- Fault-tolerance, Real-time systems, Weakly-Hard, Embedded control
- pages
- 200 pages
- publisher
- Department of Automatic Control, Faculty of Engineering LTH, Lund University
- defense location
- Lecture hall A, building E, Ole Römers väg 3, Lund. Zoom: https://lu-se.zoom.us/j/61376737784
- defense date
- 2023-06-09 10:15:00
- ISBN
- 978-91-8039-687-5
- 978-91-8039-688-2
- language
- English
- LU publication?
- yes
- id
- 86cfbae1-788e-484e-84ec-cda95d0de68f
- date added to LUP
- 2023-05-09 13:15:40
- date last changed
- 2023-05-12 14:37:17
@phdthesis{86cfbae1-788e-484e-84ec-cda95d0de68f,
abstract = {{Microcontrollers have become an integral part of modern everyday embedded systems, such as smart bikes, cars, and drones. Typically, microcontrollers operate under real-time constraints, which require the timely execution of programs on the resource-constrained hardware. As embedded systems are becoming increasingly more complex, microcontrollers run the risk of violating their timing constraints, i.e., overrunning the program deadlines. Breaking these constraints can cause severe damage to both the embedded system and the humans interacting with the device. Therefore, it is crucial to analyse embedded systems properly to ensure that they do not pose any significant danger if the microcontroller overruns a few deadlines.<br/><br/>However, there are very few tools available for assessing the safety and performance of embedded control systems when considering the implementation of the microcontroller. This thesis aims to fill this gap in the literature by presenting five papers on the analysis of embedded controllers subject to computational overruns. Details about the real-time operating system's implementation are included into the analysis, such as what happens to the controller's internal state representation when the timing constraints are violated. The contribution includes theoretical and computational tools for analysing the embedded system's stability, performance, and real-time properties.<br/><br/>The embedded controller is analysed under three different types of timing violations: blackout events (when no control computation is completed during long periods), weakly-hard constraints (when the number of deadline overruns is constrained over a window), and stochastic overruns (when violations of timing constraints are governed by a probabilistic process). These scenarios are combined with different implementation policies to reduce the gap between the analysis and its practical applicability. The analyses are further validated with a comprehensive experimental campaign performed on both a set of physical processes and multiple simulations.<br/><br/>In conclusion, the findings of this thesis reveal that the effect deadline overruns have on the embedded system heavily depends the implementation details and the system's dynamics. Additionally, the stability analysis of embedded controllers subject to deadline overruns is typically conservative, implying that additional insights can be gained by also analysing the system's performance.}},
author = {{Vreman, Nils}},
isbn = {{978-91-8039-687-5}},
keywords = {{Fault-tolerance; Real-time systems; Weakly-Hard; Embedded control}},
language = {{eng}},
publisher = {{Department of Automatic Control, Faculty of Engineering LTH, Lund University}},
school = {{Lund University}},
title = {{Analysis of Embedded Controllers Subject to Computational Overruns}},
url = {{https://lup.lub.lu.se/search/files/146169840/merge.pdf}},
year = {{2023}},
}