> Detailanzeige

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

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

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Sonstige Veröffentlichung; E-Artikel
  • Titel: From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
  • Beteiligte: Altmeyer, Sebastian [VerfasserIn]; André, Étienne [VerfasserIn]; Dal Zilio, Silvano [VerfasserIn]; Fejoz, Loïc [VerfasserIn]; Harbour, Michael González [VerfasserIn]; Graf, Susanne [VerfasserIn]; Gutiérrez, J. Javier [VerfasserIn]; Henia, Rafik [VerfasserIn]; Le Botlan, Didier [VerfasserIn]; Lipari, Giuseppe [VerfasserIn]; Medina, Julio [VerfasserIn]; Navet, Nicolas [VerfasserIn]; Quinton, Sophie [VerfasserIn]; Rivas, Juan M. [VerfasserIn]; Sun, Youcheng [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/DARTS.9.1.4
  • Schlagwörter: industrial use case ; response time analysis ; end-to-end latency ; real-time systems ; Verification challenge
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: 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.
  • Zugangsstatus: Freier Zugang