Paper published in a book (Scientific congresses, symposiums and conference proceedings)
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS
Altmeyer, Sebastian; André, Etienne; Dal Zilio, Silvano et al.
2023In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023)
Peer reviewed


Full Text
Publisher postprint (1.43 MB)

All documents in ORBilu are protected by a user license.

Send to


Keywords :
Verification challenge; industrial use case; end-to-end latency
Abstract :
[en] We present here the main features and lessons learned from the first edition of what has now become the ECRTS industrial challenge, together with the final description of the challenge and a comparative overview of the proposed solutions. This verification challenge, proposed by Thales, was first discussed in 2014 as part of a dedicated workshop (FMTV, a satellite event of the FM 2014 conference), and solutions were discussed for the first time at the WATERS 2015 workshop. The use case for the verification challenge is an aerial video tracking system. A specificity of this system lies in the fact that periods are constant but known with a limited precision only. The first part of the challenge focuses on the video frame processing system. It consists in computing maximum values of the end-to-end latency of the frames sent by the camera to the display, for two different buffer sizes, and then the minimum duration between two consecutive frame losses. The second challenge is about computing end-to-end latencies on the tracking and camera control for two different values of jitter. Solutions based on five different tools - Fiacre/Tina, CPAL (simulation and analysis), IMITATOR, UPPAAL and MAST - were submitted for discussion at WATERS 2015. While none of these solutions provided a full answer to the challenge, a combination of several of them did allow to draw some conclusions.
Disciplines :
Computer science
Author, co-author :
Altmeyer, Sebastian;  University of Augsburg, Germany
André, Etienne;  Université Sorbonne Paris Nord, France
Dal Zilio, Silvano;  University of Toulouse, France
Fejoz, Loïc;  RealTime-at-Work
Harbour, Michael González;  University of Cantabria, Spain
Graf, Susanne;  University of Grenoble Alpes, France
Gutiérrez, J. Javier;  University of Cantabria, Spain
Henia, Rafik;  Thales Research & Technology
Le Botlan, Didier;  University of Toulouse, France
Lipari, Giuseppe;  University of Lille, France
Medina, Julio;  University of Cantabria, Spain
Navet, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Quinton, Sophie;  University of Grenoble Alpes, France
Rivas, Juan M.;  University of Cantabria, Spain
Sun, Youcheng;  The University of Manchester, UK
More authors (5 more) Less
External co-authors :
Language :
Title :
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS
Publication date :
03 July 2023
Event name :
35th Euromicro Conference on Real-Time Systems (ECRTS 2023)
Event date :
from 11-07-2023 to 14-07-2023
By request :
Audience :
Main work title :
35th Euromicro Conference on Real-Time Systems (ECRTS 2023)
Publisher :
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany
Collection name :
Leibniz International Proceedings in Informatics (LIPIcs)
Pages :
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 21 July 2023


Number of views
22 (0 by Unilu)
Number of downloads
46 (0 by Unilu)

Scopus citations®
Scopus citations®
without self-citations


Similar publications

Contact ORBilu