Skip to main content

Run-Time Prediction for Hard Real-Time Programs

  • Conference paper
PEARL 90 — Workshop über Realzeitsysteme

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 262))

  • 39 Accesses

Abstract

Timing predictability of the hard real-time systems can only be assured if every feature of them is deterministic. In this paper, various system design issues are stressed, from the system and processor architecture, to the language and exception handling. In the field of architecture, some design recommendations are given and a timing predictability study of microprocessors is carried out. Language features and exception handling are specially emphasised. For certain topics in these fields some solutions to avoid non-determinism are 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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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. Rukmin Prasanna Amerasinghe. A Comprehensive Compiler Based Timing Analysis Tool for Real-Time Software. Master’s thesis, University of Texas at Austin, May 1989.

    Google Scholar 

  2. Mover Chen. The Dataflow Real-Time System: A Case Study. Master’s thesis, University of Texas at Austin, December 1987.

    Google Scholar 

  3. Matjaž Colnarič, Ivan Rozman, Maksimilijan Gerkeš, and Bruno Stiglic. State-observation based hard real-time system. In Proceedings of Software Engineering for Real-Time Systems, IEE, Cirencester, September 1989.

    Google Scholar 

  4. I. F. Currie. NewSpeak: a reliable programming language. In High-integrity Software, pages 122–158, Pitman Publishing, London, 1989.

    Google Scholar 

  5. Wolfgang A. Halang. On methods for direct memory access without cycle stealing. Microprocessing and Microprogramming, 17:277–283, 1986.

    Article  Google Scholar 

  6. Wolfgang A. Halang. On real-time features available in high-level languages and yet to be implemented. Microprocessing And Microprogramming, 12:79–87, 1983.

    Article  Google Scholar 

  7. Wolfgang A. Halang and Richard Henn. On-Time: a high level language environment based on a portable operating system featuring feasible and fault tolerant scheduling. In Proceedings of Software Engineering for Real-Time Systems, pages 121–125, IEE, Cirencester, September 1989.

    Google Scholar 

  8. Wolfgang A. Halang. Parallel administration of events in real-time systems. Microprocessing and Microprogramming, 24:687–692, 1988.

    Article  Google Scholar 

  9. Wolfgang A. Halang. A priori execution time analysis for parallel processes. In Proceedings of the Euromicro Workshop on Real-Time, pages 62–65, Como, June 1989.

    Chapter  Google Scholar 

  10. J. Kershaw. The VIPER Microprocessor. Technical Report 87014, Royal Signals and Radar Establishment, Malvern, Worcs. London: Her Majesties’ Stationary, November 1987.

    Google Scholar 

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

    Google Scholar 

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

  13. Rudolf J. Lauber. Forecasting real-time behaviour during software design using a CASE environment. The Journal of Real-Time Systems, 1(1):61–76, 1989.

    Article  Google Scholar 

  14. Doug MacGregor and Jon Rubinstein. A performance analysis of MC68020-based systems. IEEE Micro, December 1985.

    Google Scholar 

  15. Motorola. MC68020 32-bit Microprocessor User’s Manual. Prentice Hall, Inc., Englewood Cliffs, N.J., second edition, 1985.

    Google Scholar 

  16. Motorola. MC68030 Enhanced 32-bit Microprocessor User’s Manual. 1987.

    Google Scholar 

  17. David Olsen. Effects of pipelining on algorithms for the MC68020. Digital Design, June 1985.

    Google Scholar 

  18. Peter Puschner and Christian Koza. Calculating the maximum execution time of real-time programs. The Journal of Real-Time Systems, 1(2):159–176, 1989.

    Article  Google Scholar 

  19. Peter Puschner and Ralph Zainlinger. Developing software with predictable timing behaviour. IEEE Real-Time Systems Newsletter, 6(2):70–76, 1990.

    Google Scholar 

  20. Klaus Stieger. PEARL 90 — Die Weiterentwicklung von PEARL. In R. Henn and K. Stieger, editors, PEARL 89 — Workshop über Realzeitsysteme, 10. Fachtagung des PEARL-Vereins e.V. Informatik-Fachberichte 231, pages 99–137, Springer-Verlag, Berlin-Heidelberg-New York, 1989.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Colnarič, M. (1990). Run-Time Prediction for Hard Real-Time Programs. In: Gerth, W., Baacke, P. (eds) PEARL 90 — Workshop über Realzeitsysteme. Informatik-Fachberichte, vol 262. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46725-7_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-46725-7_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53464-8

  • Online ISBN: 978-3-642-46725-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics