From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
| Autor: | Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., Sun, Youcheng |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2023 |
| Předmět: |
real-time systems
General and reference → Verification Software and its engineering → Software verification and validation Computer systems organization → Real-time systems response time analysis industrial use case end-to-end latency Verification challenge Computer systems organization → Embedded systems |
| DOI: | 10.4230/darts.9.1.4 |
| Popis: | 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. DARTS, Vol. 9, Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), pages 4:1-4:6 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|