Title :
Fuzzy Belief-Based Supervision
Author :
Vorobiev, Alexandre ; Seviora, Rudolph
Author_Institution :
Dept. of Electr. & Comput. Eng., Waterloo Univ., Waterloo, ON
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;
Conference_Titel :
Availability, Reliability and Security, 2008. ARES 08. Third International Conference on
Conference_Location :
Barcelona
Print_ISBN :
978-0-7695-3102-1
DOI :
10.1109/ARES.2008.46
