swMATH ID: 17684
Software Authors: Lisper B
Description: SWEET — a tool for WCET flow analysis. 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
Homepage: http://www.mrtc.mdh.se/projects/wcet/sweet/
Related Software:
Cited in: 0 Documents