Complex scheduling models and analyses for property-based real-time embedded systems

dc.contributor.advisorChen, Jian-Jia
dc.contributor.authorUeter, Niklas
dc.contributor.refereeLi, Jing
dc.date.accepted2023-09-13
dc.date.accessioned2023-12-01T14:20:11Z
dc.date.available2023-12-01T14:20:11Z
dc.date.issued2023
dc.description.abstractModern multi core architectures and parallel applications pose a significant challenge to the worst-case centric real-time system verification and design efforts. The involved model and parameter uncertainty contest the fidelity of formal real-time analyses, which are mostly based on exact model assumptions. In this dissertation, various approaches that can accept parameter and model uncertainty are presented. In an attempt to improve predictability in worst-case centric analyses, the exploration of timing predictable protocols are examined for parallel task scheduling on multiprocessors and network-on-chip arbitration. A novel scheduling algorithm, called stationary rigid gang scheduling, for gang tasks on multiprocessors is proposed. In regard to fixed-priority wormhole-switched network-on-chips, a more restrictive family of transmission protocols called simultaneous progression switching protocols is proposed with predictability enhancing properties. Moreover, hierarchical scheduling for parallel DAG tasks under parameter uncertainty is studied to achieve temporal- and spatial isolation. Fault-tolerance as a supplementary reliability aspect of real-time systems is examined, in spite of dynamic external causes of fault. Using various job variants, which trade off increased execution time demand with increased error protection, a state-based policy selection strategy is proposed, which provably assures an acceptable quality-of-service (QoS). Lastly, the temporal misalignment of sensor data in sensor fusion applications in cyber-physical systems is examined. A modular analysis based on minimal properties to obtain an upper-bound for the maximal sensor data time-stamp difference is proposed.en
dc.identifier.urihttp://hdl.handle.net/2003/42212
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-24046
dc.language.isoende
dc.subjectReal-time systemsen
dc.subjectEmbedded systemsen
dc.subjectMultiprocessor scheduling theoryen
dc.subjectApproximation algorithmsen
dc.subjectParallel task schedulingen
dc.subjectFault-toleranceen
dc.subject.ddc004
dc.subject.rswkEchtzeitsystemde
dc.subject.rswkEingebettetes Systemde
dc.subject.rswkSchedulingde
dc.subject.rswkMehrkernprozessorde
dc.titleComplex scheduling models and analyses for property-based real-time embedded systemsen
dc.typeTextde
dc.type.publicationtypePhDThesisde
dcterms.accessRightsopen access
eldorado.secondarypublicationfalsede

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Dissertation_Ueter.pdf
Size:
1.52 MB
Format:
Adobe Portable Document Format
Description:
DNB
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.85 KB
Format:
Item-specific license agreed upon to submission
Description: