Skip to main content

A Distributed, Fault-Tolerant Real-Time Language

  • Conference paper
  • 214 Accesses

Part of the book series: NATO ASI Series ((NATO ASI F,volume 127))

Abstract

Early programming languages used for the implementation of real-time systems did not include language constructs to cope with modularity, concurrency, synchronization, communication, time control, and dependability. The only way to integrate some of that functionality was to allow for assembler language insertions and operating system calls. Programs of that type are extremely non-portable.

This work has been supported by Deutsche Forschungsgemeinschaft (DFG) under grant Ho 1257/2-1

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

Buying options

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andrews, G.R., Olsson, R.A., The Evolution of the SR Language, Distributed Computing, Vol. 1, No. 1, 1986, 133–149.

    Article  Google Scholar 

  2. Atkinson, C., Moreton, T., Natali, A., Ada for Distributed Systems, The Ada Companion Series, Cambridge University Press, 1988.

    Google Scholar 

  3. Burns, A., Lister, A.M., Wellings A.J., A Review of Ada Tasking, LNCS, Vol. 262, 1987.

    Google Scholar 

  4. Cmelik, R.F., Gehani, N.H., Roome W.D., Fault Tolerant Concurrent C: A Tool for Writing Fault Tolerant Distributed Programs, FTCS-18, 1988, 56–61.

    Google Scholar 

  5. Cornhill, D.T., Rakesh, J., Kamrad II, J.M., Ada Program Partitioning Language: A Notation for Distributing Ada Programs, IEEE Trans. Software Eng., Vol. 15, No. 3, 1989, 271–280.

    Article  Google Scholar 

  6. DoD Reference Manual for the Ada Programming Language, ANSI MIL-STD1815A, 1983.

    Google Scholar 

  7. DIN, Programmiersprache PEARL. DIN 66253, Beuth-Verlag, Berlin, Köln, 1980.

    Google Scholar 

  8. DIN, Informationsverarbeitung - Programmiersprache PEARL - Mehrrechner-PEARL, DIN 66253, Teil 3, Entwurf, Beuth-Verlag, Berlin, Köln, 1987.

    Google Scholar 

  9. Fantechi, A., Inverardi, P., Lijtmaer, N., Using High Level Languages for Local Computer Network Communication: A Case Study in Ada, Software-Practice and Experience, Vol. 16, No. 8, 1986, 701–717.

    Google Scholar 

  10. Halang, W.A., Mangold, K., Real-Time Programming Languages, in M. Schiebe, S. Pferrer (eds.): Real-Time Systems Engineering and Applications, Kluwer Academic Publishers, Boston, 1992, 141–200.

    Google Scholar 

  11. Herrtwich, R.G., Hommel, G., Kooperation und Konkurrenz, Springer-Verlag, Berlin, 1989.

    Google Scholar 

  12. Hommel, G., Language Constructs for Distributed Programs, in M. Paul, H.J. Siegert (eds.): Distributed Systems–Methods and Tools for Specification, LNCS, Vol. 190, 1985, 287–341.

    Google Scholar 

  13. Ichbiah, J.D., Barnes, J.G.P., Heliard, J.C., Krieg-Brueckner, B., Roubine, O., Wichmann, B.A., Rationale for the Design of the Ada Programming Language, ACM SIGPLAN Notices, Vol. 14, No. 6, Part B, 1979.

    Google Scholar 

  14. Knight, J.C., Urquhart, I.A., On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems, IEEE Trans. Software Eng., Vol. 13, No. 5, 1987, 553–562.

    Article  Google Scholar 

  15. Kramer, J.,Magee, J., Dynamic Configuration for Distributed Systems,IEEE Trans. on Software Eng., Vol. 11, No. 4, 1985, 424–436.

    Google Scholar 

  16. Liskov, B., Scheifler, R., Guardians and Actions: Linguistic Support for Robust Distributed Programs, ACM TOPLAS, Vol. 5, No. 3, 1983, 381–404.

    Google Scholar 

  17. Magee, J., Kramer, J., Sloman, M., Constructing Distributed Systems in Conic, IEEE Trans. on Software Eng., Vol. 15, No. 6, 1989, 663–675.

    Article  Google Scholar 

  18. Müller, P., Hommel G., GranAda: A Programming Environment for Implementing Distributed Real-Time Applications, Proc. 1992 Int. Symp. on Artificial Intelligence in Real-Time Control (to appear).

    Google Scholar 

  19. Schlichting, R.D., Schneider, F.B., Fail-stop processors: An approach to designing fault-tolerant computing systems, ACM TOCS, Vol. 1, 1983, 222–238.

    Google Scholar 

  20. Schlichting, R.D., Purdin, T.D.M., Failure Handling in Distributed Programming Languages, SRDSDS-5, 1986, 59–66.

    Google Scholar 

  21. Sha, L., Goodenough, J.B., Real-Time Scheduling Theory and Ada, IEEE Computer, Vol. 23, No. 4, 1990, 53–62.

    Google Scholar 

  22. Steusloff, H., The Impact of Distributed Computer Control Systems of Software,Digital Computer Applications to Process Control, Pergamon Press, 1981, 529536

    Google Scholar 

  23. Stoyenko, A.D., The Evolution and State-of-the-Art of Real-Time Languages, Journal of Systems and Software, Vol. 4, 1992.

    Google Scholar 

  24. Van Scoy, R., Bamberger, J., Firth, R., An Overview of DARK, Ada Letters, Vol. 9, No. 7, 1989, 91–101.

    Article  Google Scholar 

  25. Volz, R.A., Mudge, T.N., Naylor, A.W., Mayer, J.H., Some Problems in Distributing Real-Time Ada Programs across Machines, Ada Letters, Vol. 5, No. 2, 1985, 72–84.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hommel, G. (1994). A Distributed, Fault-Tolerant Real-Time Language. In: Halang, W.A., Stoyenko, A.D. (eds) Real Time Computing. NATO ASI Series, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88049-0_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-88049-0_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-88051-3

  • Online ISBN: 978-3-642-88049-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics