Skip to main content

Exception Handling and Predictability in Hard Real-Time Systems

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

Abstract

The objective of this paper is to give some reflections about handling of exceptions in hard real-time environments, which is among the less elaborated topics in this domain.

A classification of possible exceptions in real-time systems is done, to identify the ones which can be prevented by certain design measures or avoided by specifying and servicing them within their contexts. A way to survive the remaining ones in a well-structured and predictable way, and as painlessly as possible, is proposed.

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

Access this chapter

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. Andrew P. Black. Exception handling: The case against. Technical Report TR 82-01-02, Department Of Computer Science, University of Washington, May 1983. (originally submitted as a PhD thesis, University of Oxford, January 1982).

    Google Scholar 

  2. W.J. Cody, J.T. Coonen, D.M. Gay, K. Hanson, D. Hough, W. Kahan, R. Karpinski, J. Palmer, F.N. Bis, and D. Stevenson. A proposed radix- and word-length-independent standard for floating-point arithmetic. IEEE Micro, 4(4):86–100, August 1984.

    Article  Google Scholar 

  3. Matjaž Colnarič and Wolfgang A. Halang. Architectural support for predictability in hard real-time systems. Control Engineering Practice, 1(1):51–59, February 1993.

    Article  Google Scholar 

  4. Flaviu Cristian. Exception handling and software fault tolerance. IEEE Transactions on Computers, 31(6):531–540, June 1982.

    Article  Google Scholar 

  5. Flaviu Cristian. Correct and robust programs. IEEE Transactions on Software Engineering, 10(2):163–174, March 1984.

    Article  MathSciNet  Google Scholar 

  6. Ian F. Currie. NewSpeak: a reliable programming language. In High-integrity Software, pages 122–158. Pitman Publishing, London, 1988.

    Google Scholar 

  7. John. B. Goodenough. Exception handling: Issues and a proposed notation. Communication of the ACM, 18(12):683–696, 1975.

    Article  MathSciNet  Google Scholar 

  8. John Kershaw. The VIPER microprocessor. Technical Report 87014, Royal Signals And Radar Establishment, Malvern, Worcs, London: Her Majesties’ Stationery Office, November 1987.

    Google Scholar 

  9. Eugene Kligerman and Alexander Stoyenko. Real-time Euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering, 12(9):941–949, September 1986.

    Article  Google Scholar 

  10. Hermann Kopetz, A. Damm, Ch. Koza, M. Mulazzani, W. Schwabl, Ch. Senft, and R. Zainlinger. Distributed fault-tolerant real-time systems: The MARS approach. IEEE Micro, 9(1):25–40, February 1989.

    Article  Google Scholar 

  11. Barbara H. Liskov and Alan Snyder. Exception handling in CLU. IEEE Transactions on Software Engineering, 5(6):546–558, November 1979.

    Article  Google Scholar 

  12. Motorola. MC68881 Floating-Point Coprocessor User’s Manual, first edition, 1985.

    Google Scholar 

  13. Krithi Ramamritham and John A. Stankovic. Overview of the SPRING project. Real-Time Systems Newsletter, 5(1):79–87, Winter 1989.

    Google Scholar 

  14. John A. Stankovic. Misconceptions about real-time computing. IEEE Computer, 21(10):10–19, October 1988.

    Article  Google Scholar 

  15. John A. Stankovic and Krithi Ramamritham. Editorial: What is predictability for real-time systems. Real-Time Systems, 2(4):246–254, November 1990.

    Article  Google Scholar 

  16. Alexander Stoyenko. A Real-Time Language With A Schedulability Analyzer. PhD thesis, University of Toronto, December 1987.

    Google Scholar 

  17. Domen Verber and Matjaz Colnarič. A tool for estimation of real-time process execution times. In Proceedings of Software Engineering for Real-Time Applications Workshop, Cirencester, September 1993. IEE.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag London Limited

About this paper

Cite this paper

Colnarič, M., Halang, W.A. (1993). Exception Handling and Predictability in Hard Real-Time Systems. In: Górski, J. (eds) SAFECOMP ’93. SAFECOMP 1993. Springer, London. https://doi.org/10.1007/978-1-4471-2061-2_36

Download citation

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

  • 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