MONITORING INTERVAL PROPERTIES IN REAL-TIME SYSTEMS

摘要

In this paper, techniques for designing run-time monitors for a class of real-time constraints have been presented. The constraints express relationships between different event occurrence rates over intervals of time and are useful in many safety-critical applications. Monitor algorithms that focus on reporting any changes with minimum delay, while keeping the monitor overhead also low have been presented. The algorithms aim at reporting not only constraint violations, but also check if the corrective actions are working by detecting changes from a violated to a not-violated state.