Skip to main content
SpringerLink
Log in

An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK

  • Conference paper
  • First Online:
Reliable SoftwareTechnologies — Ada-Europe 2001 (Ada-Europe 2001)

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

Included in the following conference series:

Abstract

As Ada compilation systems with specific support for the Ravenscar Profile become available, users have the opportunity to assess the expressive power of the profile and the effectiveness of the relevant technology. User feedback in both respects may significantly contribute to furthering the maturity of the profile and the confidence of the user community. This paper provides some such feedback discussing the lessons learned on the port of a space application to GNAT/ORK, an open-source implementation of the profile.

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

Access this chapter

Log in via an institution
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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Burns, A.: The Ravenscar Profile. Ada Letters, XIX:4. ACM Press (1999) 49–52.

    Article  Google Scholar 

  2. Taft, S.T., Duff, R.A.: Ada 95 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652:1995(E). Lecture Notes in Computer Science, 1246. Springer-Verlag (1997).

    Google Scholar 

  3. de la Puente, J.A., Ruiz, J.F, and Zamorano, J.: An Open Ravenscar Real-Time Kernel for GNAT. In: Keller, H.B., and Ploedereder, E.: Reliable Software Technologies — Ada-Europe 2000. Lecture Notes in Computer Science, 1845. Springer-Verlag (2000), 5–15.

    Chapter  Google Scholar 

  4. Ada Core Technologies Inc.: GNAT web page. http://www.gnat.com

  5. Vardanega, T., Terraillon, J.-L. (ed.): Proceedings of the Seminar: The Role of Open-Source Software in the Space Business Technical Issues, Use Guidance, Legal Implications. European Space Agency (2000). ftp://ftp.estec.esa.nl/pub/ws/opensource/OpenSourceSeminar.htm

  6. European Space Agency (1996): 32-bit Microprocessor and Computer System Development. Deliverable on Contract 9848/92/NL/FM. http://www.estec.esa.nl/wsmwww/erc32/erc32.html

  7. Gaisler Research. TSIM/ERC32 simulator. http://www.gaisler.com→Simulators→TSIM/ERC32

  8. TERMA Elektronik (1999): Software System Development for Spacecraft Data Handling Control. Deliverable on ESTEC Contract 12797/98/NL/PA. http://spd-web.terma.com/Projects/OBOSS/HomePage

  9. Vardanega, T., Caspersen, G., Storbank Pedersen, J.: A Case Study in the Reuse of On-board Embedded Real-Time Software. In: González Harbour (ed.): Reliable Software Technologies — Ada Europe’99. Lecture Notes in Computer Science, 1622. Springer-Verlag (1999) 425–436.

    Google Scholar 

  10. Vardanega, T., Caspersen, G.: Using the Ravenscar Profile for Space Applications: the OBOSS Case. In: González Harbour (ed.): Proc. of the 10th International Real-Time Ada Workshop. Ada Letters, XXI:2. ACM Press (2001) to appear.

    Google Scholar 

  11. Burns, A., Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Elsevier Science (1995). ISBN 0-444-82164-3.

    Google Scholar 

  12. Wellings, A.: Status and Future of the Ravenscar Profile: Session Summary. In: González Harbour (ed.): Proc. of the 10th International Real-Time Ada Workshop. Ada Letters, XXI:2. ACM Press (2001) to appear.

    Google Scholar 

  13. Aonix. ObjectAda Real-Time RAVEN. http://www.aonix.com/content/products/objectada/raven.html

  14. Wichmann, B. (ed.): Programming Languages–Guide for the Use of the Ada Programming Language in High Integrity Systems. Technical Report ISO/IEC TR 15942. International Standardisation Organisation (2000). http://www.dkuug.dk/jtc1/sc22/wg9/n359.pdf

  15. Ada Core Technologies: GNAT User’s Guide. Version 3.13a. March 2000.

    Google Scholar 

  16. Chapman, R., Burns, A., Wellings, A.: Worst-case timing analysis of exception handling in Ada. In: Collingbourne, L. (ed.): Proc. of the Ada UK Conference. IOS Press (1993) 148–164.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Directorate of Technical and Operational Support, European Space Research and Technology Centre, 2200 AG, Noordwijk, Netherlands

    Tullio Vardanega

  2. Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, E-28040, Madrid, Spain

    Rodrigo García & Juan Antonio de la Puente

Authors
  1. Tullio Vardanega
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rodrigo García
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Juan Antonio de la Puente
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Offis nv/sa - Aubay Group, Offis & K.U. Leuven, Weiveldlaan 41/32, 1930, Zaventem, Belgium

    Dirk Craeynest

  2. EPFL-DI-LGL, Swiss Federal Institute of Technology Lausanne (EPFL), 1015, Lausanne EPFL, Switzerland

    Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vardanega, T., García, R., de la Puente, J.A. (2001). An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. In: Craeynest, D., Strohmeier, A. (eds) Reliable SoftwareTechnologies — Ada-Europe 2001. Ada-Europe 2001. Lecture Notes in Computer Science, vol 2043. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45136-6_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-45136-6_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45136-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation