From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact) - Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems
Article Dans Une Revue Dagstuhl Artifacts Series Année : 2023

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

Étienne André
Loïc Fejoz
  • Fonction : Auteur
Susanne Graf
Youcheng Sun

Résumé

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.
Fichier principal
Vignette du fichier
DARTS.9.1.4.pdf (599.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04254710 , version 1 (05-04-2024)

Licence

Identifiants

Citer

Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩. ⟨hal-04254710⟩
280 Consultations
52 Téléchargements

Altmetric

Partager

More