Skip to main content
SpringerLink
Log in
Book cover

International Conference on Reliable Software Technologies

Ada-Europe 1996: Reliable Software Technologies — Ada-Europe '96 pp 330–341Cite as

Augmenting Ada95 with additional real-time features

  • The Ada 95 Programming Language
  • Conference paper
  • First Online:

  • 135 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1088))

Abstract

The purpose of this paper is to present several additions to Ada95 which improve real-time properties of the language. In detail, we introduce a new kind of loops, so-called discrete loops, we show that recursion can be used for real-time applications without harm, if a few conditions are met, and we present an approach how the interface of a class can be augmented by information concerning the worst-case time and space behavior.

Supported by the Austrian Science Foundation (FWF) under grant P10188-MAT.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ISO/IEC 8652. Ada Reference manual, 1995.

    Google Scholar 

  2. Johann Blieberger and Bernd Burgstaller. The role of GNAT within project WOOP. GNAT Workshop, Ada-Europe'95, 1995.

    Google Scholar 

  3. Johann Blieberger and Roland Lieger. Worst-case space and time complexity of recursive procedures. Real-Time Systems, 1994. (to appear).

    Google Scholar 

  4. Johann Blieberger and Roland Lieger. Real-time recursive procedures. In Proceedings of the 7th EUROMICRO Workshop on Real-Time Systems, pages 229–235, Odense, 1995.

    Google Scholar 

  5. Johann Blieberger. Discrete loops and worst case performance. Computer Languages, 20(3):193–212, 1994.

    Google Scholar 

  6. Johann Blieberger. Timing analysis of object-oriented real-time programs. (submitted), 1995.

    Google Scholar 

  7. Wolfgang A. Halang and Alexander D. Stoyenko. Constructing predictable real time systems. Kluwer Academic Publishers, Boston, 1991.

    Google Scholar 

  8. Kurt Mehlhorn. Sorting and Searching, volume 1 of Data Structures and Algorithms. Springer-Verlag, Berlin, 1984.

    Google Scholar 

  9. Chang Yun Park. Predicting program execution times by analyzing static and dynamic program paths. The Journal of Real-Time Systems, 5:31–62, 1993.

    Google Scholar 

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

    Google Scholar 

  11. Intermetrics, Inc. Ada95 Rationale, 1995.

    Google Scholar 

  12. E. Schonberg and B. Banner. The GNAT project: A GNU-Ada9X compiler. In Conference Proceedings of TRI-Ada 94, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Automation (183/1), Technical University of Vienna, Treitlstr. 1/4, A-1040, Vienna

    Johann Blieberger, Roland Lieger & Bernd Burgstaller

Authors
  1. Johann Blieberger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roland Lieger
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernd Burgstaller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Blieberger, J., Lieger, R., Burgstaller, B. (1996). Augmenting Ada95 with additional real-time features. In: Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe '96. Ada-Europe 1996. Lecture Notes in Computer Science, vol 1088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013500

Download citation

  • DOI: https://doi.org/10.1007/BFb0013500

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61317-6

  • Online ISBN: 978-3-540-68457-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation