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)

Sebastian Altmeyer
  • Fonction : Auteur
Universität Augsburg [Deutschland] = University of Augsburg [Germany] = Université d'Augsburg [Allemagne]
Étienne André
Laboratoire d'Informatique de Paris-Nord
CV
Silvano Dal Zilio
Équipe Verification de Systèmes Temporisés Critiques
CV
Loïc Fejoz
  • Fonction : Auteur
Realtime-at-Work
Michael González Harbour
  • Fonction : Auteur
Universidad de Cantabria [Santander] = University of Cantabria [Spain] = Université de Cantabrie [Espagne]
Susanne Graf
VERIMAG
J. Javier Gutiérrez
  • Fonction : Auteur
Universidad de Cantabria [Santander] = University of Cantabria [Spain] = Université de Cantabrie [Espagne]
Rafik Henia
  • Fonction : Auteur
Thales Research and Technology [Palaiseau]
Didier Le Botlan
Équipe Verification de Systèmes Temporisés Critiques
Giuseppe Lipari
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires
Julio Medina
  • Fonction : Auteur
Universidad de Cantabria [Santander] = University of Cantabria [Spain] = Université de Cantabrie [Espagne]
Nicolas Navet
  • Fonction : Auteur
Université du Luxembourg = University of Luxembourg = Universität Luxemburg
Sophie Quinton
  • Fonction : Auteur
Laboratoire d'Informatique de Grenoble
Juan Rivas
  • Fonction : Auteur
Universidad de Cantabria [Santander] = University of Cantabria [Spain] = Université de Cantabrie [Espagne]
Youcheng Sun
University of Manchester [Manchester]

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.

Domaines

Informatique [cs]
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)

Kumar Guha  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04254710

Soumis le : vendredi 5 avril 2024-11:01:45

Dernière modification le : mercredi 25 septembre 2024-09:56:03

Archivage à long terme le : samedi 6 juillet 2024-18:59:42

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 UNIV-TLSE2 UGA IMAG CNRS INRIA INSA-TOULOUSE LAAS LIG LIPN UT1-CAPITOLE VERIMAG LAAS-VERTICS LAAS-INFORMATIQUE-CRITIQUE CRISTAL INRIA2 UNIV-LILLE INSA-GROUPE INSA-TOULOUSE-GEI SORBONNE-PARIS-NORD LAAS-RISC ANR LIG_SIDCH CRISTAL-SYCOMORES TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP ACT-R
280 Consultations
52 Téléchargements

Altmetric

Partager

More