Souyris, Jean ;
Le Pavec, Erwan ;
Himbert, Guillaume ;
Borios, Guillaume ;
Jégu, Victor ;
Heckmann, Reinhold
Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
Abstract
This paper presents how the timing analyser aiT is used for
computing the Worst-Case Execution Time (WCET) of two
safety-critical avionics programs. The aiT tool has been developed
by AbsInt GmbH as a static analyser based on Abstract
Interpretation
BibTeX - Entry
@InProceedings{souyris_et_al:OASIcs:2007:810,
author = {Jean Souyris and Erwan Le Pavec and Guillaume Himbert and Guillaume Borios and Victor J{\'e}gu and Reinhold Heckmann},
title = {{Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Reinhard Wilhelm},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2007/810},
URN = {urn:nbn:de:0030-drops-8103},
doi = {http://dx.doi.org/10.4230/OASIcs.WCET.2005.810},
annote = {Keywords: }
}
|
Seminar: |
|
5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)
|
|
Issue date: |
|
2007 |
|
Date of publication: |
|
2007 |
2007
