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.2018.15
URN: urn:nbn:de:0030-drops-89879
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/8987/
Go to the corresponding LIPIcs Volume Portal

Ahrendts, Leonie ; Quinton, Sophie ; Boroske, Thomas ; Ernst, Rolf

Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks

pdf-format:
LIPIcs-ECRTS-2018-15.pdf (1 MB)

Abstract

In this paper, we introduce the first verification method which is able to provide weakly-hard real-time guarantees for tasks and task chains in systems with multiple resources under partitioned scheduling with fixed priorities. Existing weakly-hard real-time verification techniques are restricted today to systems with a single resource. A weakly-hard real-time guarantee specifies an upper bound on the maximum number m of deadline misses of a task in a sequence of k consecutive executions. Such a guarantee is useful if a task can experience a bounded number of deadline misses without impacting the system mission. We present our verification method in the context of switched networks with traffic streams between nodes, and demonstrate its practical applicability in an automotive case study.

BibTeX - Entry

@InProceedings{ahrendts_et_al:LIPIcs:2018:8987,
  author =	{Leonie Ahrendts and Sophie Quinton and Thomas Boroske and Rolf Ernst},
  title =	{{Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks}},
  booktitle =	{30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
  pages =	{15:1--15:22},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-075-0},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{106},
  editor =	{Sebastian Altmeyer},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/8987},
  URN =		{urn:nbn:de:0030-drops-89879},
  doi =		{10.4230/LIPIcs.ECRTS.2018.15},
  annote =	{Keywords: embedded and cyber-physical systems, weakly-hard real-time systems and networks, timing analysis}
}

Keywords: embedded and cyber-physical systems, weakly-hard real-time systems and networks, timing analysis
Collection: 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Issue Date: 2018
Date of publication: 22.06.2018

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