2026-08-06T13:43:11Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18025 2024-03-06T11:05:18Z ddc:004 open_access

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact) 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 Verification challenge industrial use case end-to-end latency real-time systems response time analysis 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik 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 2023 Is Part Of DARTS, Volume 9, Issue 1, Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.9.1.4 urn:nbn:de:0030-drops-180257 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.4 eng https://creativecommons.org/licenses/by/4.0/legalcode