Augmenting Ada95 with additional real-time features

Roland Lieger, Bernd Burgstaller

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationReliable Software Technologies - Ada-Europe 1996 - 1996 Ada-Europe International Conference on Reliable Software Technologies, Proceedings
EditorsAlfred Strohmeier
PublisherSpringer Verlag
Pages330-341
Number of pages12
ISBN (Print)354061317X, 9783540613176
DOIs
Publication statusPublished - 1996
EventAda-Europe International Conference on Reliable Software Technologies, Ada-Europe 1996 - Montreux, Switzerland
Duration: 1996 Jun 101996 Jun 14

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1088
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherAda-Europe International Conference on Reliable Software Technologies, Ada-Europe 1996
CountrySwitzerland
CityMontreux
Period96/6/1096/6/14

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Augmenting Ada95 with additional real-time features'. Together they form a unique fingerprint.

  • Cite this

    Lieger, R., & Burgstaller, B. (1996). Augmenting Ada95 with additional real-time features. In A. Strohmeier (Ed.), Reliable Software Technologies - Ada-Europe 1996 - 1996 Ada-Europe International Conference on Reliable Software Technologies, Proceedings (pp. 330-341). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1088). Springer Verlag. https://doi.org/10.1007/BFb0013500