Analysis of Embedded Controllers Subject to Computational Overruns

Forskningsoutput: AvhandlingDoktorsavhandling (sammanläggning)

291 Nedladdningar (Pure)

Sammanfattning

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.
Originalspråkengelska
KvalifikationDoktor
Handledare
  • Maggio, Martina, handledare
  • Cervin, Anton, Biträdande handledare
  • Årzén, Karl-Erik, Biträdande handledare
Tilldelningsdatum2023 juni 9
UtgivningsortLund
Förlag
ISBN (tryckt)978-91-8039-688-2
ISBN (elektroniskt)978-91-8039-687-5
StatusPublished - 2023

Bibliografisk information

Defence details
Date: 2023-06-09
Time: 10:15
Place: Lecture hall A, building E, Ole Römers väg 3, Lund. Zoom: https://lu-se.zoom.us/j/61376737784
External reviewer(s)
Name: Chakraborty, Samarjit
Title: Professor
Affiliation: University of North Carolina

Ämnesklassifikation (UKÄ)

  • Inbäddad systemteknik
  • Reglerteknik

Fingeravtryck

Utforska forskningsämnen för ”Analysis of Embedded Controllers Subject to Computational Overruns”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här