Steering of Real-Time Systems Based on Monitoring and Checking

Authors:
O. Sokolsky;S. Kannan;M. Kim;I. Lee;M. Viswanathan
Affiliations:
-;-;-;-;-
Venue:
WORDS '99 Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems
Year:
1999

Citing 0
Cited 3

A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools

IEEE Transactions on Software Engineering
Generating In-Line Monitors for Rabin Automata

NordSec '09 Proceedings of the 14th Nordic Conference on Secure IT Systems: Identity and Privacy in the Internet Age
Steering of Discrete Event Systems: Control Theory Approach

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 technique 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 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 monitoring and steering of Java programs is also presented.