Premium
A method for continuous real‐time supervision
Author(s) -
Iorgulescu R.,
Seviora R. E.
Publication year - 1997
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/(sici)1099-1689(199706)7:2<69::aid-stvr131>3.0.co;2-4
Subject(s) - supervisor , rotation formalisms in three dimensions , computer science , specification language , state (computer science) , focus (optics) , observable , determinism , finite state machine , formal specification , fault (geology) , system requirements specification , reliability engineering , software , unobservable , observability , programming language , real time computing , software engineering , engineering , physics , geometry , mathematics , optics , quantum mechanics , seismology , political science , law , geology , philosophy , epistemology
A real‐time supervisor observes the inputs and outputs of the target system and reports failures that occur. Failures are reported in real‐time. The approach presented in this paper uses the specification of the external behaviour of the target system to detect failures. It is able to accommodate the non‐determinism permissible under some specification formalisms. In addition, the approach permits the assessment of the erroneous states of the system. The supervisor updates its state after a failure has occurred so that it may continue supervision. This involves making an assumption about the erroneous states that led to the observable failure. Furthermore, consequences of the same fault are not reported repeatedly. The focus of the paper is on telecommunication switching software whose external behaviour is specified using the CCITT Specification and Description Language, a specification language based on communicating extended finite state machines. © 1997 by John Wiley & Sons, Ltd.