Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
Design and validation of computer protocols
Design and validation of computer protocols
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
Artificial Intelligence
Real-time search in non-deterministic domains
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Requirements-based monitors for real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Detection of Response Time Failures of Real-Time Software
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Hierarchical Supervisors For Automatic Detection Of Software Failures
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
Hi-index | 0.00 |
Real time supervision is a technique for automatically detecting and reporting failures in the external behaviour of real time software systems. Failure detection is achieved by monitoring the target system's external inputs and outputs, in a 'black box' manner and comparing its behaviour with the formally specified behaviour of the system. The paper presents the Optimistic Path Prediction and Rollbacks (OPPR) approach to real time supervision. In this technique, the supervisor predicts a single likely behaviour of the target system and, if the observed behaviour does not match the prediction, rolls back and creates a new prediction of the legal behaviour. A failure is detected when the supervisor has explored all valid behaviours without matching the observed behaviour. The paper opens by introducing the field of real time supervision and examining existing techniques. The core of the paper presents the basic algorithm of the OPPR method, with an example to illustrate its operation. The paper closes by describing an evaluation system, summarizing the experimental results and examining the performance of the OPPR scheme.