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
2015DASC-TRT.pdf
md5:95cdc3fb61103185660cd2ce99bf270d
1.3 MB Download
12
5
views
downloads
All versions This version
Views 1212
Downloads 55
Data volume 6.3 MB6.3 MB
Unique views 1212
Unique downloads 55

Share

Cite as