Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Marwedel, Peter | - |
dc.contributor.author | Kleinsorge, Jan C. | - |
dc.date.accessioned | 2015-11-10T11:54:44Z | - |
dc.date.available | 2015-11-10T11:54:44Z | - |
dc.date.issued | 2015 | - |
dc.identifier.uri | http://hdl.handle.net/2003/34332 | - |
dc.identifier.uri | http://dx.doi.org/10.17877/DE290R-16409 | - |
dc.description.abstract | Traditional timing analysis for hard real-time systems is a two-step approach consisting of isolated per-task timing analysis and subsequent scheduling analysis which is conceptually entirely separated and is based only on execution time bounds of whole tasks. Today this model is outdated as it relies on technical assumptions that are not feasible on modern processor architectures any longer. The key limiting factor in this traditional model is the interfacing from micro-architectural analysis of individual tasks to scheduling analysis — in particular path analysis as the binding step between the two is a major obstacle. In this thesis, we contribute to traditional techniques that overcome this problem by means of by passing path analysis entirely, and propose a general path analysis and several derivatives to support improved interfacing. Specifically, we discuss, on the basis of a precise cache analysis, how existing metrics to bound cache-related preemption delay (CRPD) can be derived from cache representation without separate analyses, and suggest optimizations to further reduce analysis complexity and to increase accuracy. In addition, we propose two new estimation methods for CRPD based on the explicit elimination of infeasible task interference scenarios. The first one is conventional in that path analysis is ignored, the second one specifically relies on it. We formally define a general path analysis framework in accordance to the principles of program analysis — as opposed to most existing approaches that differ conceptually and therefore either increase complexity or entail inherent loss of information — and propose solutions for several problems specific to timing analysis in this context. First, we suggest new and efficient methods for loop identification. Based on this, we show how path analysis itself is applied to the traditional problem of per-task worst-case execution time bounds, define its generalization to sub-tasks, discuss several optimizations and present an efficient reference algorithm. We further propose analyses to solve related problems in this domain, such as the estimation of bounds on best-case execution times, latest execution times, maximum blocking times and execution frequencies. Finally, we then demonstrate the utility of this additional information in scheduling analysis by proposing a new CRPD bound. | en |
dc.language.iso | en | de |
dc.subject | Program analysis | en |
dc.subject | Formal methods | en |
dc.subject | Scheduling | en |
dc.subject | Timing analysis | en |
dc.subject | Cache-related preemption delay | en |
dc.subject | Path analysis | en |
dc.subject | Graph theory | en |
dc.subject | Real-time | en |
dc.subject | Performance | en |
dc.subject | Worst-case execution time | en |
dc.subject | Control-flow reconstruction | en |
dc.subject | Loop discovery | en |
dc.subject | Maximum blocking time | en |
dc.subject.ddc | 004 | - |
dc.title | Tight integration of cache, path and task-interference modeling for the analysis of hard real time systems | en |
dc.type | Text | en |
dc.contributor.referee | Lisper, Björn | - |
dc.date.accepted | 2015-10-28 | - |
dc.type.publicationtype | doctoralThesis | en |
dcterms.accessRights | open access | - |
Appears in Collections: | Entwurfsautomatisierung für Eingebettete Systeme |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Dissertation.pdf | DNB | 2.29 MB | Adobe PDF | View/Open |
This item is protected by original copyright |
This item is protected by original copyright
rightsstatements.org