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
Verification challenge
industrial use case
end-to-end latency
real-time systems
response time analysis
Computer systems organization → Real-time systems
Computer systems organization → Embedded systems
General and reference → Verification
Software and its engineering → Software verification and validation