Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Khazen, Marwan Wehaiba El"'
Autor:
Khazen, Marwan Wehaiba El, Zagalo, Kevin, Clarke, Hadrien, Mezouak, Mehdi, Abdeddaïm, Yasmina, Bar-Hen, Avner, Amor, Slim Ben, Bennour, Rihab, Gogonel, Adriana, Kougblenou, Kossivi, Sorel, Yves, Cucu-Grosjean, Liliana
Publikováno v:
RTAS 2022-IEEE 28th Real-Time and Embedded Technology and Applications Symposium
RTAS 2022-IEEE 28th Real-Time and Embedded Technology and Applications Symposium, May 2022, Milano, Italy. IEEE, pp.309-312, ⟨10.1109/RTAS54340.2022.00035⟩
RTAS 2022-IEEE 28th Real-Time and Embedded Technology and Applications Symposium, May 2022, Milano, Italy. IEEE, pp.309-312, ⟨10.1109/RTAS54340.2022.00035⟩
International audience; The real-time systems community is facing the lack of benchmarks adapted to measurement-based worst-case execution time (WCET) estimators. We provide in this paper first steps towards such benchmarks by proposing them for sing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b816bb3673d83e04a67dbd010d91b8a2
https://doi.org/10.1109/rtas54340.2022.00035
https://doi.org/10.1109/rtas54340.2022.00035
Autor:
Khazen, Marwan Wehaiba El, Amor, Slim Ben, Cucu-Grosjean, Liliana, Dumérat, Arnaud, Jean, Xavier, Kougblenou, Kossivi, Monate, Benjamin
Publikováno v:
ERTS 2022-Embedded Real Time Systems
ERTS 2022-Embedded Real Time Systems, Apr 2022, Toulouse, France
ERTS 2022-Embedded Real Time Systems, Apr 2022, Toulouse, France
International audience; In this paper, we present our ongoing work on verification activities of the software used in a safety-critical embedded system dedicated to autonomous vehicles. These activities are focused on the use of formal methods for th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::1525c4d1b780623e136a34b84083cea2
https://inria.hal.science/hal-04005696
https://inria.hal.science/hal-04005696
