Skip to main content

Mapping HRT-HOOD® designs to Ada 95 hierarchical libraries

  • Software Development Methods
  • Conference paper
  • First Online:
Reliable Software Technologies — Ada-Europe '96 (Ada-Europe 1996)

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

Included in the following conference series:

Abstract

A new method for implementing hierarchical object oriented designs of hard real time systems in Ada 95 is described in the paper. The approach is based on the HRT-HOOD method, but it can be extended to other OOD methods as well. Ada child packages are used to implement object aggregation or inclusion hierarchies. Renaming in the body, a new Ada 95 feature, is used to provide efficient mapping of composite object operations to component operations. An example is given in order to illustrate the method.

HOOD is a trade mark of the HOOD User Group.

This work has been partially supported by the Spanish Council for Scientific and Technical Research (CICYT), project TAP93-0001-CP.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ada 95 Language Reference Manual. ANSI/ISO/IEC-8652:1995. February 1995.

    Google Scholar 

  2. Ada 95 Rationale. Intermetrics, Inc., 1995.

    Google Scholar 

  3. N.C. Audsley, A. Burns, M.F. Richardson and A.J. Wellings (1991). “Hard real-time scheduling: The deadline monotonie approach”, IFAC/IFIP Workshop on Real Time Programming, Pergamon Press, 1991.

    Google Scholar 

  4. G. Booch. Software Engineering with Ada. Benjamin Cummings, 1983.

    Google Scholar 

  5. G. Booch. Object Oriented Design with Applications. Benjamin Cummings, 1991.

    Google Scholar 

  6. A. Burns. “Preemptive priority based scheduling: An appropriate engineering approach”. In Advances in Real-Time Systems, S.H. Son ed., pp. 225–248; Prentice Hall, 1993.

    Google Scholar 

  7. A. Burns and A.J. Wellings. Real-Time Systems and their Programming Languages. Addison-Wesley, 1990.

    Google Scholar 

  8. A. Burns and A.J. Wellings. “HRT-HOOD: A structured design method for hard real-time systems.” Real Time Systems, 6, 1, pp. 73–114. January, 1994.

    Google Scholar 

  9. A. Burns and A.J. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier Science, 1995.

    Google Scholar 

  10. B. S. Crawford. “Proposed icons for Ada 95.” ACM Ada Letters, xv, 4, pp. 36–45. July–August, 1995.

    Google Scholar 

  11. European Space Agency. HOOD Reference Manual-Issue 3.1. July, 1991.

    Google Scholar 

  12. J. Leung and J. Whitehead (1982). “On the complexity of fixed-priority scheduling of periodic real-time tasks”. Performance Evaluation, vol. 2, no. 4, pp.237–250, 1982.

    Google Scholar 

  13. C.L. Liu and J.W. Layland. “Scheduling algorithms for multiprogramming in a hard-real-time environment”. Journal of the ACM, vol. 20, no. 1, pp. 46–61, 1973

    Google Scholar 

  14. L. Sha, R. Rajkumar and J.P. Lehoczky. “Priority inheritance protocols: An approach to real-time synchronization.” IEEE Tr. on Computers, vol. 39, no.9, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de la Puente, J.A., Alonso, A., Alvarez, A. (1996). Mapping HRT-HOOD® designs to Ada 95 hierarchical libraries. 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/BFb0013479

Download citation

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

  • 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