Semi-automatic derivation of timing models for WCET analysis

摘要

Embedded systems are widely used for supporting our every day life. In the area of safety-critical systems human life often depends on the system’s correct behavior. Many of such systems are hard real-time systems, so that the notion of correctness not only means functional correctness. They additionally have to obey stringent timing constraints, i.e., timely task completion under all circumstances is essential. An example for such a safety-critical system is the flight control computer in an airplane, which is responsible for stability, attitude and path control.