Advertisement

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

  • Tullio Vardanega
  • Rodrigo García
  • Juan Antonio de la Puente
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2043)

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.

Keywords

Generic Unit European Space Agency Queue Size Sporadic Task Package Body 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Burns, A.: The Ravenscar Profile. Ada Letters, XIX:4. ACM Press (1999) 49–52.CrossRefGoogle Scholar
  2. 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. 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.CrossRefGoogle Scholar
  4. 4.
    Ada Core Technologies Inc.: GNAT web page. http://www.gnat.com
  5. 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. 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. 7.
    Gaisler Research. TSIM/ERC32 simulator. http://www.gaisler.com→Simulators→TSIM/ERC32
  8. 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. 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. 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. 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. 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. 13.
  14. 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. 15.
    Ada Core Technologies: GNAT User’s Guide. Version 3.13a. March 2000.Google Scholar
  16. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Tullio Vardanega
    • 1
  • Rodrigo García
    • 2
  • Juan Antonio de la Puente
    • 2
  1. 1.Directorate of Technical and Operational SupportEuropean Space Research and Technology CentreNoordwijkNetherlands
  2. 2.Departamento de Ingeniería de Sistemas TelemáticosUniversidad Politécnica de MadridMadridSpain

Personalised recommendations