What is it about?
The breakthrough publication reporting on our success to develop a sound method for determining the WCET for programs running on a real-life processor flying in the Airbus A340 plane.
Featured Image
Why is it important?
Provides a solution for the WCET problem, the problem to determine sound upper bounds on the execution times of a program.
Perspectives
The described method now is the dominating one all over the domain of time-critical embedded systems for single-core architectures.
Professor Dr. Reinhard Wilhelm
Universitat des Saarlandes
Read the Original
This page is a summary of: Reliable and Precise WCET Determination for a Real-Life Processor, January 2001, Springer Science + Business Media,
DOI: 10.1007/3-540-45449-7_32.
You can read the full text:
Contributors
The following have contributed to this page
