Strategies for real-time system specification
Strategies for real-time system specification
Monitoring and performance measuring distributed systems during operation
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging
IEEE Transactions on Software Engineering
An Empirical Comparison of Software Fault Tolerance and Fault Elimination
IEEE Transactions on Software Engineering
SDL with applications from protocol specification
SDL with applications from protocol specification
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Supervision of real-time software systems using optimistic path prediction and rollbacks
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Automatic failure detection with Conditional-Belief supervisors
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
A Framework for Software Fault Tolerance in Real-Time Systems
IEEE Transactions on Software Engineering
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Hi-index | 0.01 |
Classical software reliability research has tended to focus on behavioral-type failures which typically manifest themselves as incorrect or missing outputs. In real-time software, a correct output which is not produced within a specified response time interval may also constitutes a failure. As a result, response time failures must also be taken into account when real-time software reliability is assessed. Response-time requirements can be stated in a hard or a soft form. The latter form is often preferred when the quality of service offered is of concern. In a number of real-time applications, the responses to a particular stimulus are highly state dependent and, therefore, the response time requirements must be predicated on state.This paper considers the case where the detection of response times failures is done by a separate unit which observes the inputs and outputs of the target software. Automatic detection of such failures is complicated by state dependencies which require the unit to track a target's state as well as the elapsed times between specified stimulus and response pairs. A novel, black-box approach is described for detecting response time failures and quality of service degradations of session-oriented, real-time software.The behavior of the target software is assumed to be specified in a formalism based on the notion of communicating extended finite state machines. The response time failure detection unit, implemented independently of the target software, interprets a formal model derived directly from the target's requirement specifications. The model is used both to track the state of the target and to determine when to start and stop time interval timing measurements. Measurements of multiple response time intervals may occur simultaneously. The approach was evaluated on the call processing program of a small telephone exchange. Some results of the evaluation are presented and discussed.