Automatic failure detection with conditional-belief supervisors

J. J. Li, R. E. Seviora

Research output: Contribution to journalConference articlepeer-review

7 Scopus citations

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 languageEnglish
Pages (from-to)4-13
Number of pages10
JournalProceedings of the International Symposium on Software Reliability Engineering, ISSRE
StatePublished - 1996
EventProceedings of the 1996 7th International Symposium on Software Reliability Engineering, ISSRE'96 - White Plains, NY, USA
Duration: 30 Oct 19962 Nov 1996

Fingerprint

Dive into the research topics of 'Automatic failure detection with conditional-belief supervisors'. Together they form a unique fingerprint.

Cite this