文章基本信息

标题：Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
作者：Jean Souyris ; Erwan Le Pavec ; Guillaume Himbert 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2007
卷号：1
DOI：10.4230/OASIcs.WCET.2005.810
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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