Conference paper Open Access

Safety considerations for WCET evaluation methods in avionic equipment

Jean, Xavier; Gribal, Sylvain; Roger, Anthony; Megel, Thomas; Brindejonc, Vincent

Most safety-critical avionics systems are defined as “hard real time”. That means they must deliver their function within pre-defined deadlines. Missing a single deadline at system level is considered as a failure condition that may be catastrophic. At software level, this is a single failure that must be mitigated with appropriate means to prevent that failure condition.

Real-time requirements are addressed in software components by Worst Case Execution Time (WCET) evaluations. Several methods have been explored in the literature, for which classifications have been proposed according to their techniques and precision of their results. However, these classifications do not consider the contribution of WCET evaluation techniques to safety processes.
In this paper, we present a safety process that integrates WCET evaluation on embedded software. This process allows us to highlight the benefits and limits that WCET evaluation methods bring in industrial practices.

Files (1.3 MB)
Name Size
1.3 MB Download
All versions This version
Views 2929
Downloads 3434
Data volume 42.8 MB42.8 MB
Unique views 2929
Unique downloads 2929


Cite as