@inproceedings{03471_christoph_berg_paper,
  author    = {Christoph Berg and Jakob Engblom and Reinhard Wilhelm},
  title     = {Requirements for and Design of a Processor with Predictable Timing},
  booktitle = {Design of Systems with Predictable Behaviour},
  year      = {2004},
  series    = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2004/5},
  pdf       = {2004/03471_christoph_berg_paper.pdf},
  bibtex    = {2004/03471_christoph_berg_paper.bib},
  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.},
}