WCET and mixed-criticality: what does confidence in WCET estimations depend upon?

  • Mixed-criticality systems integrate components of different criticality. Different criticality levels require different levels of confidence in the correct behavior of a component. One aspect of correctness is timing. Confidence in worst-case execution time (WCET) estimates depends on the process by which they have been obtained. A somewhat naive view is that static WCET analyses determines safe bounds in which we can have absolute confidence, while measurement-based approaches are inherently unreliable. In this paper, we refine this view by exploring sources of doubt in the correctness of both static and measurement-based WCET analysis.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Sebastian AltmeyerGND, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange
URN:urn:nbn:de:bvb:384-opus4-702240
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/70224
ISBN:978-3-939897-95-8OPAC
Parent Title (English):15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)
Publisher:Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Place of publication:Dagstuhl
Editor:Francisco J. Cazorla
Type:Part of a Book
Language:English
Year of first Publication:2015
Publishing Institution:Universität Augsburg
Release Date:2020/02/12
First Page:65
Last Page:74
Series:OpenAccess Series in Informatics (OASIcs) ; 47
DOI:https://doi.org/10.4230/OASIcs.WCET.2015.65
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Systemnahe Informatik und Kommunikationssysteme
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Embedded Systems
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):CC-BY 4.0: Creative Commons: Namensnennung (mit Print on Demand)