SAFECOMP ’93 pp 265-275 | Cite as

Real-Time Detection of Failures of Reactive Systems

  • Rudolph E. Seviora
Conference paper


This paper addresses some issues involved in real-time detection of failures of reactive systems. The system architecture considered is shown in Figure 1. External behavior of the reactive system is monitored by a supervisor, which may execute on a separate platform. The supervisor monitors the inputs and outputs of the system and reports the failures that occur.


Target System Failure Detection Destination Process External Behavior Extended Finite State Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    International Telegraph and Telephone Consultative Committee, Functional Specification and Description Language, Recommendations Z.100-Z.104. Geneva: ITU, 1989.Google Scholar
  2. [2]
    International Telegraph and Telephone Consultative Committee, Annex F.1 to Recommendation Z.100: SDL Formal Definition. Geneva: ITU, 1989.Google Scholar
  3. [3]
    F. Belina, D. Hogreffe and A. Sarma, SDL with Applications from Protocol Specification. Prentice-Hall, 1991.Google Scholar
  4. [4]
    D. B. Brown et al., “An Automated Oracle for Software Testing”, IEEE Trans. Reliability, vol. 41, no. 2, pp. 272–280, June 1992.MathSciNetCrossRefGoogle Scholar
  5. [5]
    S. Sankar and M. Mandal, “Concurrent Runtime Monitoring of Formally Specified Programs,” IEEE Computer, vol.26, no.3, pp. 32–41, March 1993.CrossRefGoogle Scholar
  6. [6]
    A. Erb, “Safety Measures of the Electronic Interlocking System ELEKTRA”, Safety of Computer Control Systems 1989, Pergamon Press, London, pp. 49–52.Google Scholar
  7. [7]
    M. N. Myers, W. A. Routt and K. W. Yoder, “Maintenance Software,” The Bell System Technical journal, vol. 56, No. 7, pp. 1139–1167, September 1977.CrossRefGoogle Scholar
  8. [8]
    E. Rich, Artificial Intelligence, McGraw-Hill, 1983.Google Scholar
  9. [9]
    D. B. Hay, A Belief Method for Detecting Operational Failures in Soft Real-Time Systems, MASc Thesis, Dept. Elect. and Comp. Engg., University of Waterloo, 1991.Google Scholar
  10. [10]
    J. Li and R. E. Seviora, “Real-Time Supervisor with Reduced Space and Time Requirements,” to appear, Proc. 1993 IEE System Engineering for Real-Time Applications, London, UK, 1993.Google Scholar
  11. [11]
    J. Li and R. E. Seviora, “An Extension to SDL,” submitted, 1993.Google Scholar
  12. [12]
    P.Lam, R.E.Seviora and F.C.L.Chan, “Invocation-Count Based Structural Prediction Models,” Proc. Second Bellcore Symposium on Issues in Software Reliability Estimation, pp.113–129, Oct. 1992.Google Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • Rudolph E. Seviora
    • 1
  1. 1.Department of Electrical and Computer EngineeringUniversity of WaterlooWaterlooCanada

Personalised recommendations