OASIcs.WCET.2005.810.pdf
- Filesize: 267 kB
- 4 pages
Document
Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
Authors
-
Part of:
Volume:
5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) (WCET 2005)
Series: Open Access Series in Informatics (OASIcs)
Conference: Workshop on Worst-Case Execution Time Analysis (WCET) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2008-09-23
Cite AsGet BibTex
Jean Souyris, Erwan Le Pavec, Guillaume Himbert, Guillaume Borios, Victor Jégu, and Reinhold Heckmann. Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation. In 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05). Open Access Series in Informatics (OASIcs), Volume 1, pp. 21-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/OASIcs.WCET.2005.810
https://doi.org/10.4230/OASIcs.WCET.2005.810
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
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads