2014 | OriginalPaper | Buchkapitel
SWEET – A Tool for WCET Flow Analysis (Extended Abstract)
verfasst von : Björn Lisper
Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Worst-Case Execution Time (WCET) analysis [14] aims to estimate the longest possible execution time for a piece of code executing uninterrupted on a particular hardware. Such WCET estimates are used when analysing real-time systems with respect to possible deadline violations. For safety-critical real-time systems,
safe
(surely not underestimating) estimates are desirable. Such estimates can be produced by a
static WCET analysis
that takes all possible execution paths and corresponding hardware states into account.