License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.03471.4
URN: urn:nbn:de:0030-drops-57
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2004/5/
Go to the corresponding Portal |
Berg, Christoph ;
Engblom, Jakob ;
Wilhelm, Reinhard
Requirements for and Design of a Processor with Predictable Timing
Abstract
This paper introduces a set of design principles that aim to make processor
architectures amenable to static timing analysis. Based on these principles,
we give a design of a hard real-time processor with predictable timing, which is
simultaneously capable of reaching respectable performance levels.
The design principles we identify are recoverability from information loss in
the analysis, minimal variation of the instruction timing, non-interference between
processor components, deterministic processor behavior, and comprehensive
documentation. The principles are based on our experience and that of other
researchers in building timing analysis tools for existing processors.
BibTeX - Entry
@InProceedings{berg_et_al:DagSemProc.03471.4,
author = {Berg, Christoph and Engblom, Jakob and Wilhelm, Reinhard},
title = {{Requirements for and Design of a Processor with Predictable Timing}},
booktitle = {Perspectives Workshop: Design of Systems with Predictable Behaviour},
pages = {1--20},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2004},
volume = {3471},
editor = {Lothar Thiele and Reinhard Wilhelm},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2004/5},
URN = {urn:nbn:de:0030-drops-57},
doi = {10.4230/DagSemProc.03471.4},
annote = {Keywords: WCET, hard real-time, embedded systems, computer architecture}
}
Keywords: |
|
WCET, hard real-time, embedded systems, computer architecture |
Collection: |
|
03471 - Design of Systems with Predictable Behaviour |
Issue Date: |
|
2004 |
Date of publication: |
|
10.09.2004 |