In real-time systems, timing behavior is as important as functional behavior. Modern architectures turn verification of timing aspects into a nightmare, due to their "unpredictability". Recently, various efforts have been undertaken to engineer more predictable architectures. Such efforts should be based on a clear understanding of predictability. We discuss key aspects of and propose a template for predictability definitions. To investigate the utility of our proposal, we examine above efforts and try to cast them as instances of our template.
@InProceedings{grund_et_al:OASIcs.PPES.2011.22, author = {Grund, Daniel and Reineke, Jan and Wilhelm, Reinhard}, title = {{A Template for Predictability Definitions with Supporting Evidence}}, booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems}, pages = {22--31}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-28-6}, ISSN = {2190-6807}, year = {2011}, volume = {18}, editor = {Lucas, Philipp and Wilhelm, Reinhard}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.22}, URN = {urn:nbn:de:0030-drops-30785}, doi = {10.4230/OASIcs.PPES.2011.22}, annote = {Keywords: predictability, uncertainty, precision} }
Feedback for Dagstuhl Publishing