1 Search Results for "Boroske, Thomas"

Document
DOI: 10.4230/LIPIcs.ECRTS.2018.15
Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks

Authors: Leonie Ahrendts, Sophie Quinton, Thomas Boroske, and Rolf Ernst

Published in: LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)

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.
Cite as

Leonie Ahrendts, Sophie Quinton, Thomas Boroske, and Rolf Ernst. Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 106, pp. 15:1-15:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{ahrendts_et_al:LIPIcs.ECRTS.2018.15,
  author =	{Ahrendts, Leonie and Quinton, Sophie and Boroske, Thomas and Ernst, Rolf},
  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 =	{Altmeyer, Sebastian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.15},
  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}
}
  • Refine by Author
  • 1 Ahrendts, Leonie
  • 1 Boroske, Thomas
  • 1 Ernst, Rolf
  • 1 Quinton, Sophie

  • Refine by Classification
  • 1 Computer systems organization → Embedded systems
  • 1 Computer systems organization → Real-time systems
  • 1 Networks → Network performance analysis
  • 1 Software and its engineering → Formal software verification

  • Refine by Keyword
  • 1 embedded and cyber-physical systems
  • 1 timing analysis
  • 1 weakly-hard real-time systems and networks

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact