Abstract
Failures of a software system are detected by a supervisor, a separate unit which observes the inputs and outputs of the system and reports its failures in real-time. The supervisor determines whether a failure has occurred by comparing the observed and the specified behavior. The specification of behavior is assumed to be expressed in a formalism based on communicating extended finite state machines (specifically, ITU-T SDL). The supervisor must tolerate legal behavioral alternatives resulting from nondeterminisms in the specification. The computational costs of considering such alternatives can be fairly high. The paper presents the Conditional-Belief (CB) theory that reduces the cost of consideration of alternatives by using conditional-beliefs to represent sets of legal behavioral alternatives. The paper reviews belief-based supervision, introduces the CB theory, and outlines an algorithm for conversion of a class of SDL specification to a CB supervisor model. It describes a demonstration system developed to evaluate CB supervision, and summarizes failure detection and computational cost results for the supervisor of the control program of a small telephone exchange.
| Original language | English |
|---|---|
| Pages (from-to) | 4-13 |
| Number of pages | 10 |
| Journal | Proceedings of the International Symposium on Software Reliability Engineering, ISSRE |
| State | Published - 1996 |
| Event | Proceedings of the 1996 7th International Symposium on Software Reliability Engineering, ISSRE'96 - White Plains, NY, USA Duration: 30 Oct 1996 → 2 Nov 1996 |