License
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2010.89
URN: urn:nbn:de:0030-drops-28284
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2828/
Go to the corresponding Portal


Souyris, Jean

WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives

pdf-format:
Document 1.pdf (200 KB)


Abstract

Time-critical avionics software products must compute their output in due time. If it is not the case, the safety of the avionics systems to which they belong might be affected. Consequently, the Worst Case Excution Time of the tasks of such programs must be computed safely, i.e., they must not be under-estimated. Since computing the exact WCET of a real-size software product task is not possible (undecidability), "safe WCET" means over-estimated WCET. Here we have an industrial issue in the sense that too over-estimating the WCET leads to a waste of CPU power. Hence, the computation a safe and precise WCET is the big challenge. Solutions to that problem cannot only rely on the technique for computing the WCET. Indeed, both hardware and software must be designed to be as deterministic as possible. For its Flight controls software products, Airbus has always been applying these principles but, since the A380, the use of more complex processors required to move from a technique based on measurements to a new one based on static analysis by Abstract Interpretation. Another kind of avionics applications are the so-called High-performance avionics software products, which are significantly less affected by - rare - delays in the computation of their outputs. In this case, the need for a "safe WCET" is less strong, hence opening the door to different other ways of computing it. In this context, the aim of the talk is to present the challenge of computing WCET in Airbus's industrial context, the achievements in this field and the evocation of some trends and perspectives.

BibTeX - Entry

@InProceedings{souyris:OASIcs:2010:2828,
  author =	{Jean Souyris},
  title =	{{WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives}},
  booktitle =	{10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
  pages =	{89--89},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-21-7},
  ISSN =	{2190-6807},
  year =	{2010},
  volume =	{15},
  editor =	{Bj{\"o}rn Lisper},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2828},
  URN =		{urn:nbn:de:0030-drops-28284},
  doi =		{http://dx.doi.org/10.4230/OASIcs.WCET.2010.89},
  note =	{The printed version of the WCET'10 proceedings are published by OCG (www.ocg.at) - ISBN 978-3-85403-268-7},
  annote =	{Keywords: WCET analysis, avionics software, safety-critical system}
}

Keywords: WCET analysis, avionics software, safety-critical system
Seminar: 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Issue Date: 2010
Date of publication: 26.11.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI