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 As Get 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
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