What is it about?
The article surveys different approaches and systems to determine uper bounds on the execution times of programs on a given platform.
Featured Image
Why is it important?
The described methods are needed for real-time verification.
Perspectives
The survey is not up to date as methods and tool development have progressed. Static WCET analysis based on Abstract Interpretation is routinely applied in problem-aware parts of the safety-critical embedded-systems domain.
Professor Dr. Reinhard Wilhelm
Universitat des Saarlandes
Read the Original
This page is a summary of: The worst-case execution-time problem—overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, April 2008, ACM (Association for Computing Machinery),
DOI: 10.1145/1347375.1347389.
You can read the full text:
Contributors
The following have contributed to this page
