Abstract

To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCET analysis for modern processor is a quite complex problem. Path analysis is required to identify a minimal set of possible execution paths. Further, the modeling of a processor’s internal states for features like caches or pipelines requires to consider possible interferences of these features. Document type: Part of book or chapter of book

Abstract

Rate monotonic analysis (RMA), a mathematical approach that helps ensure that a real-time system meets its performance requirements, is discussed. It does so through a collection of quantitative methods and algorithms that let engineers understand, analyze, and predict the timing behavior of their designs. An application of RMA to an air traffic control system is described. Document type: Report