From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
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.
Mots clés
- response time analysis
- Computer systems organization → Real-time systems
- Software and its engineering → Software verification and validation
- Computer systems organization → Embedded systems
- General and reference → Verification
- real-time systems
- end-to-end latency
- industrial use case
- Verification challenge
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |