Timing analysis: from predictions to certificates

In real-time systems timing properties must be satisfied in order to guarantee that deadlines will be met. In this context, the calculation of theworst-case execution time(WCET) is of paramount importance for schedulability analysis. However, this problem can be difficult if the underlying architect...

Full description

Bibliographic Details
Main Author: Gaspar, Nuno Miguel Pires (author)
Format: masterThesis
Language:eng
Published: 2015
Subjects:
Timing analysis
Worst-case execution time
Static analysis
Fixpoint computation
Abstract interpretation
Abstraction-carrying code
Online Access:http://hdl.handle.net/10400.6/3764
Country:Portugal
Oai:oai:ubibliorum.ubi.pt:10400.6/3764

Internet

http://hdl.handle.net/10400.6/3764

Similar Items