Steering of real-time systems based on monitoring and checking

Abstract

Presents an approach to enhance the fault tolerance of real-time systems through steering. Steering means external alteration of the system's behavior in response to a deviation from requirements. The steering technique is embedded into a framework of monitoring and checking (MaC). MaC allows the users to perform runtime analysis of the current execution of a system with respect to formally specified requirements. We describe our current and future work on steering, including the language to specify steering actions and system instrumentation that enables steering. A prototype implementation for the monitoring and steering of Java programs is also presented.