Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Kougblenou, Kossivi"'
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
Publikováno v:
RTSS 2020-41st IEEE Real Time Systems Symposium
RTSS 2020-41st IEEE Real Time Systems Symposium, Dec 2020, Dallas / Virtual, United States
RTSS 2020-41st IEEE Real Time Systems Symposium, Dec 2020, Dallas / Virtual, United States
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e611e6589f60e680f7fb2e14aae08dba
https://hal.inria.fr/hal-03124586
https://hal.inria.fr/hal-03124586