From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)

Ver/Abrir
Identificadores
URI: https://hdl.handle.net/10902/32437
ISBN: 978-3-95977-280-8
Compartir
Estadísticas
Ver Estadísticas
Google Scholar
Registro completo
Mostrar el registro completo DC
Autoría
Altmeyer, Sebastian; André, Étienne; Dal Zilio, Silvano; Fejoz, Loïc; González Harbour, MichaelAutoridad Unican; Graf, Susanne; Gutiérrez García, José JavierAutoridad Unican; Henia, Rafik; Le Botlan, Didier; Lipari, Giuseppe; Medina Pasaje, Julio LuisAutoridad Unican; Navet, Nicolas; Quinton, Sophie; Rivas Concepción, Juan MaríaAutoridad Unican; Sun, Youcheng
Fecha
2023
Derechos
Licensed under Creative Commons License CC-BY 4.0
Publicado en
35th Euromicro Conference on Real-Time Systems: ECRTS 2023, July 11-14, 2023, Vienna, Austria, Wadern, Alemania, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023
Editorial
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Enlace a la publicación
Palabras clave
Verification challenge
Industrial use case
End-to-end latency
Real-time systems
Response time analysis
Resumen/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.
Colecciones a las que pertenece
Licensed under Creative Commons License CC-BY 4.0Excepto si se señala otra cosa, la licencia del ítem se describe como Licensed under Creative Commons License CC-BY 4.0