License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.9.1.4
URN: urn:nbn:de:0030-drops-180257
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/18025/
Go back to Dagstuhl Artifacts Series

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano ; Fejoz, Loïc ; Harbour, Michael González ; Graf, Susanne ; Gutiérrez, J. Javier ; Henia, Rafik ; Le Botlan, Didier ; Lipari, Giuseppe ; Medina, Julio ; Navet, Nicolas ; Quinton, Sophie ; Rivas, Juan M. ; Sun, Youcheng

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

pdf-format:
DARTS-9-1-4.pdf (0.6 MB)

Abstract

We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and instructions and scripts to reproduce these results smoothly.

BibTeX - Entry

@Article{altmeyer_et_al:DARTS.9.1.4,
  author =	{Altmeyer, Sebastian and Andr\'{e}, \'{E}tienne and Dal Zilio, Silvano and Fejoz, Lo\"{i}c and Harbour, Michael Gonz\'{a}lez and Graf, Susanne and Guti\'{e}rrez, J. Javier and Henia, Rafik and Le Botlan, Didier and Lipari, Giuseppe and Medina, Julio and Navet, Nicolas and Quinton, Sophie and Rivas, Juan M. and Sun, Youcheng},
  title =	{{From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)}},
  pages =	{4:1--4:6},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2023},
  volume =	{9},
  number =	{1},
  editor =	{Altmeyer, Sebastian and Andr\'{e}, \'{E}tienne and Dal Zilio, Silvano and Fejoz, Lo\"{i}c and Harbour, Michael Gonz\'{a}lez and Graf, Susanne and Guti\'{e}rrez, J. Javier and Henia, Rafik and Le Botlan, Didier and Lipari, Giuseppe and Medina, Julio and Navet, Nicolas and Quinton, Sophie and Rivas, Juan M. and Sun, Youcheng},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/18025},
  URN =		{urn:nbn:de:0030-drops-180257},
  doi =		{10.4230/DARTS.9.1.4},
  annote =	{Keywords: Verification challenge, industrial use case, end-to-end latency, real-time systems, response time analysis}
}

Keywords: Verification challenge, industrial use case, end-to-end latency, real-time systems, response time analysis
Collection: DARTS, Volume 9, Issue 1, Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023)
Issue Date: 2023
Date of publication: 03.07.2023

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