Skip to main content
SpringerLink
Log in

Real-Time Detection of Failures of Reactive Systems

  • Conference paper
  • First Online:
SAFECOMP ’93 (SAFECOMP 1993)

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. International Telegraph and Telephone Consultative Committee, Functional Specification and Description Language, Recommendations Z.100-Z.104. Geneva: ITU, 1989.

    Google Scholar 

  2. International Telegraph and Telephone Consultative Committee, Annex F.1 to Recommendation Z.100: SDL Formal Definition. Geneva: ITU, 1989.

    Google Scholar 

  3. F. Belina, D. Hogreffe and A. Sarma, SDL with Applications from Protocol Specification. Prentice-Hall, 1991.

    Google Scholar 

  4. D. B. Brown et al., “An Automated Oracle for Software Testing”, IEEE Trans. Reliability, vol. 41, no. 2, pp. 272–280, June 1992.

    Article  MathSciNet  Google Scholar 

  5. S. Sankar and M. Mandal, “Concurrent Runtime Monitoring of Formally Specified Programs,” IEEE Computer, vol.26, no.3, pp. 32–41, March 1993.

    Article  Google Scholar 

  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. 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.

    Article  Google Scholar 

  8. E. Rich, Artificial Intelligence, McGraw-Hill, 1983.

    Google Scholar 

  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. 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. J. Li and R. E. Seviora, “An Extension to SDL,” submitted, 1993.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ont., N2L 3G1, Canada

    Rudolph E. Seviora

Authors
  1. Rudolph E. Seviora
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Franco-Polish School of New Information and Communication Technology, 60-854, Poznań, Poland

    Janusz Górski

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag London Limited

About this paper

Cite this paper

Seviora, R.E. (1993). Real-Time Detection of Failures of Reactive Systems. In: Górski, J. (eds) SAFECOMP ’93. SAFECOMP 1993. Springer, London. https://doi.org/10.1007/978-1-4471-2061-2_27

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-2061-2_27

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19838-3

  • Online ISBN: 978-1-4471-2061-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation