文章基本信息

标题：WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?
本地全文：下载
作者：Sebastian Altmeyer ; Bj{\"o}rn Lisper ; Claire Maiza 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2015
卷号：47
页码：65-74
DOI：10.4230/OASIcs.WCET.2015.65
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：mixed criticality; WCET analysis; confidence in WCET estimates