Advertisement

A New Ravenscar-Based Profile

  • Patrick RogersEmail author
  • Jose Ruiz
  • Tristan Gingold
  • Patrick Bernardi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10300)

Abstract

We describe a new Ada language profile based directly upon the Ravenscar profile, intended to add expressive power for certain applications in the real-time and embedded systems domains. The new profile enhancements result primarily from the removal of selected Ravenscar restrictions but new capabilities are added. We provide the motivation and requirements for such a profile, the corresponding profile changes, and analyses of the results.

Keywords

Ada The Ravenscar profile Real-time systems Run-time library 

References

  1. 1.
    Kwon, J., Wellings, A.J., King, S.: Ravenscar-Java: a high-integrity profile for real-time Java. Concurrency Comput. Pract. Experience 17(5–6), 681–713 (2005)CrossRefGoogle Scholar
  2. 2.
    Shen, H., Baker, T.P.: A Linux kernel module implementation of restricted Ada tasking. ACM SIGAda Ada Lett. 19(2), 96–103 (1999)CrossRefGoogle Scholar
  3. 3.
    Dobbing, B.: The Ravenscar tasking profile – experience report. ACM SIGAda Ada Lett. 19(2), 28–32 (1999)CrossRefGoogle Scholar
  4. 4.
    Burns, A., Wellings, A.: Analysable Real-Time Systems Programmed in Ada. CreateSpace Independent Publishing Platform (2016)Google Scholar
  5. 5.
    Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Lett. XXIV(2), 1–74 (2004)CrossRefGoogle Scholar
  6. 6.
    ISO: ISO/IEC JTC 1/SC 22/WG9 Ada Reference Manual-Language and Standard Libraries-ISO/IEC 8652:2012/Cor 1:2016 (2016)Google Scholar
  7. 7.
    Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages, 4th edn. Addison-Wesley, Reading (2009)zbMATHGoogle Scholar
  8. 8.
    Berrendonner, R., Guitton, J.: The ESA Ravenscar benchmark. In: Reliable Software Technologies – Ada-Europe 2005. Springer, New York (2005)Google Scholar
  9. 9.
    Rogers, P., Ruiz, J., Gingold, T.: Toward extensions to the Ravenscar profile. ACM SIGAda Ada Lett. 35(1), 32–37 (2015)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Patrick Rogers
    • 1
    Email author
  • Jose Ruiz
    • 2
  • Tristan Gingold
    • 2
  • Patrick Bernardi
    • 1
  1. 1.AdaCoreNew YorkUSA
  2. 2.AdaCoreParisFrance

Personalised recommendations