Work in progress: Kdbench-towards open source benchmarks for measurement-based multicore WCET estimators
MW El Khazen, K Zagalo, H Clarke… - 2022 IEEE 28th Real …, 2022 - ieeexplore.ieee.org
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 …
based worst-case execution time (WCET) estimators. We provide in this paper first steps …
Work in progress: Towards a statistical worst-case energy consumption model
MW El Khazen, SB Amor, K Kougblenou… - 2023 IEEE 29th Real …, 2023 - ieeexplore.ieee.org
In this paper, we provide first results introducing the impact of both software and hardware
events on the estimation of worst-case energy consumption of programs on embedded …
events on the estimation of worst-case energy consumption of programs on embedded …
STARTREC: Verification of a safety-critical system for autonomous vehicles
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 …
safety-critical embedded system dedicated to autonomous vehicles. These activities are …