License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECRTS.2017.17
URN: urn:nbn:de:0030-drops-71636
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7163/
Go to the corresponding LIPIcs Volume Portal

Hammadeh, Zain A. H. ; Quinton, Sophie ; Panunzio, Marco ; Henia, Rafik ; Rioux, Laurent ; Ernst, Rolf

Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems

pdf-format:
LIPIcs-ECRTS-2017-17.pdf (0.6 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{hammadeh_et_al:LIPIcs:2017:7163,
  author =	{Zain A. H. Hammadeh and Sophie Quinton and Marco Panunzio and Rafik Henia and Laurent Rioux and Rolf Ernst},
  title =	{{Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems}},
  booktitle =	{29th Euromicro Conference on Real-Time Systems (ECRTS 2017)},
  pages =	{17:1--17:22},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-037-8},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{76},
  editor =	{Marko Bertogna},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7163},
  URN =		{urn:nbn:de:0030-drops-71636},
  doi =		{10.4230/LIPIcs.ECRTS.2017.17},
  annote =	{Keywords: Real-time, Weakly-hard, Slack analysis, Execution budget, Fixed priority}
}

Keywords: Real-time, Weakly-hard, Slack analysis, Execution budget, Fixed priority
Collection: 29th Euromicro Conference on Real-Time Systems (ECRTS 2017)
Issue Date: 2017
Date of publication: 23.06.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI