Fuzzy Belief-Based Supervision

Author

Vorobiev, Alexandre ; Seviora, Rudolph

Author_Institution

Dept. of Electr. & Comput. Eng., Waterloo Univ., Waterloo, ON

fYear

2008

Firstpage

383

Lastpage

389

Abstract

This paper considers automatic, specification based detection of failures (supervision) of software systems. It is applicable to systems specified in a formalism based on communicating finite state machines. The technique enhances the belief-based approach to supervision to allow its continuation after occurrences of failures. The enhancement adopts the fuzzy set view of the membership of hypotheses in the behavior matched set. The paper first overviews the belief-based approach, presents the fuzzy enhancements and describes an experimental evaluation of the technique and summarizes its results.

Keywords

finite state machines; formal specification; fuzzy set theory; program testing; software fault tolerance; automatic specification; finite state machines; fuzzy belief-based supervision; fuzzy set view enhancement; software system failure detection; Application software; Automata; Availability; Computer security; Concrete; Fuzzy sets; Fuzzy systems; Law; Legal factors; Software systems; automatic detection of failures; software failures; software reliability; software supervision; specification-based detection of failures;

fLanguage

English

Publisher

ieee

Conference_Titel

Availability, Reliability and Security, 2008. ARES 08. Third International Conference on

Conference_Location

Barcelona

Print_ISBN

978-0-7695-3102-1

Type

conf

DOI

10.1109/ARES.2008.46

Filename

4529361