Title :
Automatic detection of local and global software failures
Author :
Hazy, Peter ; Seviora, Rudolph E.
Author_Institution :
Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada
Abstract :
The problem of automatic detection of failures of reactive, session-oriented software programs is described. Detection of failures is carried out by a separate unit, which observes the inputs and outputs of the target program and reports the failures detected.
Keywords :
software fault tolerance; specification languages; ITU-T; SDL; automatic software failure detection; session-oriented software program; software reliability; specification-based failure detection; specification-description language; Automata; Automatic control; Computational efficiency; Law; Legal factors; Software reliability; Software systems; Specification languages; Telecommunication control; Telephony; ITU-T SDL; automatic detection of software failures; reactive systems; software failures; software reliability; specification-based failure detection; telecommunication software;
Conference_Titel :
Control and Communications, 2005. SIBCON '05. IEEE International Siberian Conference on
Print_ISBN :
0-7803-9219-1
DOI :
10.1109/SIBCON.2005.1611189
