Steering of real-time systems based on monitoring and checking

We present an approach to enhance 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 tech-nique is embedded into a framework of monitoring and checking (MaC). MaC allows the users to perform run-time analysis of the current execution of a system with respect to formally specied requirements. We describe our current and future work on steering, including the language to specify steering actions and system instru-mentation that enables steering. A prototype imple-mentation for monitoring and steering of Java pro-grams is also presented.