文章基本信息

标题：Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems
本地全文：下载
作者：Zain A. H. Hammadeh ; Sophie Quinton ; Marco Panunzio 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：76
页码：17:1-17:22
DOI：10.4230/LIPIcs.ECRTS.2017.17
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：In this paper, we present an extension of slack analysis for budgeting in the design of weakly-hard real-time systems. During design, it often happens that some parts of a task set are fully specified while other parameters, e.g. regarding recovery or monitoring tasks, will be available only much later. In such cases, slack analysis can help anticipate how these missing parameters can influence the behavior of the whole system so that a resource budget can be allocated to them. It is, however, sufficient in many application contexts to budget these tasks in order to preserve weakly-hard rather than hard guarantees. We thus present an extension of slack analysis for deriving task budgets for systems with hard and weakly-hard requirements. This work is motivated by and validated on a realistic case study inspired by industrial practice.
关键词：Real-time; Weakly-hard; Slack analysis; Execution budget; Fixed priority