Mostrar el registro sencillo

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)

dc.contributor.authorAltmeyer, Sebastian
dc.contributor.authorAndré, Étienne
dc.contributor.authorDal Zilio, Silvano
dc.contributor.authorFejoz, Loïc
dc.contributor.authorGonzález Harbour, Michael 
dc.contributor.authorGraf, Susanne
dc.contributor.authorGutiérrez García, José Javier 
dc.contributor.authorHenia, Rafik
dc.contributor.authorLe Botlan, Didier
dc.contributor.authorLipari, Giuseppe
dc.contributor.authorMedina Pasaje, Julio Luis 
dc.contributor.authorNavet, Nicolas
dc.contributor.authorQuinton, Sophie
dc.contributor.authorRivas Concepción, Juan María 
dc.contributor.authorSun, Youcheng
dc.contributor.otherUniversidad de Cantabriaes_ES
dc.date.accessioned2024-03-22T19:13:16Z
dc.date.available2024-03-22T19:13:16Z
dc.date.issued2023
dc.identifier.isbn978-3-95977-280-8
dc.identifier.otherPID2021-124502OB-C42es_ES
dc.identifier.urihttps://hdl.handle.net/10902/32437
dc.description.abstractWe 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.es_ES
dc.description.sponsorshipThis work was partially supported by MCIN/ AEI /10.13039/501100011033/ FEDER "Una manera de hacer Europa" under grant PID2021-124502OB-C42 (PRESECREL) and by the AIDOaRt project, an ECSEL Joint Under-taking (JU) under grant agreement No. 101007350. Étienne André: Partially supported by the ANR-NRF French-Singaporean research program ProMiS (ANR-19-CE25-0015 / 2019 ANR NRF 0092) and ANR BisoUS (ANR-22-CE48-0012).es_ES
dc.format.extent6 p.es_ES
dc.language.isoenges_ES
dc.publisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik GmbHes_ES
dc.rightsLicensed under Creative Commons License CC-BY 4.0es_ES
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/*
dc.source35th Euromicro Conference on Real-Time Systems: ECRTS 2023, July 11-14, 2023, Vienna, Austria, Wadern, Alemania, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023es_ES
dc.subject.otherVerification challengees_ES
dc.subject.otherIndustrial use casees_ES
dc.subject.otherEnd-to-end latencyes_ES
dc.subject.otherReal-time systemses_ES
dc.subject.otherResponse time analysises_ES
dc.titleFrom FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)es_ES
dc.typeinfo:eu-repo/semantics/conferenceObjectes_ES
dc.relation.publisherVersionhttps://doi.org/10.4230/DARTS.9.1.4es_ES
dc.rights.accessRightsopenAccesses_ES
dc.relation.projectIDinfo:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/PID2021-124502OB-C42/ES/MODELOS Y PLATAFORMAS PARA SISTEMA INFORMATICOS INDUSTRIALES PREDECIBLES, SEGUROS Y CONFIABLES/es_ES
dc.identifier.DOI10.4230/DARTS.9.1.4
dc.type.versionpublishedVersiones_ES


Ficheros en el ítem

Thumbnail
Nombre:
FromFMTVWATERSArtifact.pdf
Tamaño:
599.1Kb
Formato:
PDF
Descripción:
FromFMTVWATERSArtifact

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo

Licensed under Creative Commons License CC-BY 4.0Excepto si se señala otra cosa, la licencia del ítem se describe como Licensed under Creative Commons License CC-BY 4.0