elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Deadline Miss Models for Temporarily Overloaded Systems

Haj Hammadeh, Zain Alabedin (2019) Deadline Miss Models for Temporarily Overloaded Systems. Dissertation, Technische Universität Braunschweig.

Dies ist die aktuellste Version dieses Eintrags.

[img] PDF
1MB

Offizielle URL: https://publikationsserver.tu-braunschweig.de/receive/dbbs_mods_00066886

Kurzfassung

A wide range of embedded systems falls into the category of safety-critical systems. Such systems impose different levels of safety requirements depending on how critical the functions assigned to the system are and on how humans interact with the system. Safety requirements involve timing constraints, the violation of which may lead to a system failure. Timing constraints are graded from soft to hard real-time constraints. While satisfying soft real-time constraints requires only best-efforts guarantees, hard real-time constraints are best-treated with worst-case analysis methods for verifying all timing constraints. Weakly-hard real-time systems have extra demands on the timing verification as they tolerate few deadline-misses in certain distributions. Applying worst-case analysis methods, in which a task is schedulable only when it can meet its deadline in the worst-case, to weakly-hard real-time systems questions the expressiveness of the computed guarantees. Considering tolerable deadline-misses raises the need for weakly-hard schedulability analyses to verify weakly-hard real-time constraints and to provide more expressive guarantees. This thesis addresses the schedulability analysis problem of weakly-hard realtime systems. It presents an efficient analysis to compute weakly-hard real-time guarantees in the form of a deadline miss model for various system models. The first contribution is a deadline miss model for a temporarily overloaded uniprocessor system with independent tasks under the Fixed Priority Preemptive and NonPreemptive scheduling policy (FPP & FPNP) using Typical Worst-Case Analysis. In our application context, the transient overload is due to sporadic tasks, for example, interrupt service routines. We adopt the proposed analysis to compute deadline miss models for independent tasks under the Earliest Deadline First (EDF) and Weighted Round-Robin (WRR) scheduling policies. In the second contribution, we extend the analysis to compute deadline miss models for task chains. The extension is motivated by an industrial case study. The third contribution of this thesis targets the system extensibility to budget under-specified tasks in a weakly-hard real-time system. Adding recovery or reconfiguration tasks such that the system still meets its weakly-hard timing constraints is of interest of an industrial case study (satellite on-board software) that is considered in this thesis. We show formally and in experiments with synthetic as well as industrial test cases that the analysis presented in this thesis can consider various scheduling policies (FPP, FPNP, EDF, WRR), and can be extended to cover both independent and dependent tasks. The thesis provides two practical solutions for two industrial case studies, which are involved exclusively in a collaboration project between Thales Research & Technology and iTUBS, which is a technology transfer company associated with Technische Universität Braunschweig. The results are thus of real practical value to be considered in the design process of weakly-hard real-time systems.

elib-URL des Eintrags:https://elib.dlr.de/135312/
Dokumentart:Hochschulschrift (Dissertation)
Titel:Deadline Miss Models for Temporarily Overloaded Systems
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Haj Hammadeh, Zain AlabedinZain.HajHammadeh (at) dlr.dehttps://orcid.org/0000-0001-7539-2393NICHT SPEZIFIZIERT
Datum:Mai 2019
Erschienen in:Deadline Miss Models for Temporarily Overloaded Systems
Referierte Publikation:Ja
Open Access:Ja
Seitenanzahl:164
Status:veröffentlicht
Stichwörter:real-time computing systems embedded systems deadline scheduling
Institution:Technische Universität Braunschweig
HGF - Forschungsbereich:keine Zuordnung
HGF - Programm:keine Zuordnung
HGF - Programmthema:keine Zuordnung
DLR - Schwerpunkt:keine Zuordnung
DLR - Forschungsgebiet:keine Zuordnung
DLR - Teilgebiet (Projekt, Vorhaben):keine Zuordnung
Standort: Braunschweig
Institute & Einrichtungen:Institut für Simulations- und Softwaretechnik > Software für Raumfahrtsysteme und interaktive Visualisierung
Hinterlegt von: Haj Hammadeh, Zain Alabedin
Hinterlegt am:14 Aug 2020 13:37
Letzte Änderung:09 Okt 2020 12:32

Verfügbare Versionen dieses Eintrags

  • Deadline Miss Models for Temporarily Overloaded Systems. (deposited 14 Aug 2020 13:37) [Gegenwärtig angezeigt]

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.