Skip to main content

Operational Semantics of Ada Ravenscar

  • Conference paper
Reliable Software Technologies – Ada-Europe 2008 (Ada-Europe 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5026))

Included in the following conference series:

  • 348 Accesses

Abstract

The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has incorporated the Ravenscar Profile for high-integrity systems into the language standard. Here we describe the operational semantics for Ada Ravenscar code generated automatically from an architecture description of the system given in the Architecture Analysis and Design Language.

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.

Similar content being viewed by others

References

  1. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.: Eclipse Modeling Framework. Addison-Wesley, Reading (2004)

    Google Scholar 

  2. 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)

    Article  Google Scholar 

  3. Burns, A., Wellings, A.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley, Reading (2001)

    Google Scholar 

  4. Cardelli, L., Mitchell, J.C.: Operations on Records. In: Proceedings of the fifth international conference on Mathematical Foundations of Programming Semantics, pp. 22–52. Springer, New York (1990)

    Chapter  Google Scholar 

  5. Chen, K., Sztipanovits, J., Neema, S.: Toward a Semantic Anchoring Infrastructure for Domain-specific Modeling Languages. In: EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software, pp. 35–43. ACM Press, New York (2005)

    Chapter  Google Scholar 

  6. de la Puente, J.A., Ruiz, J.F., Zamorano, J.: An Open Ravenscar Real-Time Kernel for GNAT. In: Keller, H.B., Plödereder, E. (eds.) Ada-Europe 2000. LNCS, vol. 1845, pp. 5–15. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  7. Fidge, C.J.: The Algebra of Multi-tasking. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 213–227. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  8. Fowler, S., Wellings, A.: Formal Development of a Real-Time Kernel. In: RTSS 1997: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS 1997), p. 220. IEEE Computer Society, Washington, DC (1997)

    Google Scholar 

  9. Hamid, I., Zalila, B., Najm, E., Hugues, J.: A Generative Approach to Building a Framework for Hard Real-Time Applications. In: 31st Annual NASA Goddard Software Engineering Workshop (SEW 2007) (March 2007)

    Google Scholar 

  10. Lundqvist, K., Asplund, L.: A Formal Model of a Run-Time Kernel for Ravenscar. In: RTCSA 1999: Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications, p. 504. IEEE Computer Society, Washington, DC (1999)

    Chapter  Google Scholar 

  11. Ober, I., Halbwachs, N.: On the Timed Automata-based Verification of Ravenscar Systems. In: Ada-Europe 2008. LNCS, vol. 5026, pp. 30–43. Springer, Heidelberg (to appear, 2008)

    Google Scholar 

  12. Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)

    Google Scholar 

  13. SAE. Architecture Analysis & Design Language (AS5506) (September 2004), http://www.sae.org

  14. SEI. Open Source AADL Tool Environment (2006), http://la.sei.cmu.edu/aadl/currentsite/tool/osate.html

  15. Sha, L., Klein, M.H., Goodenough, J.B.: Rate Monotonic Analysis for Real-Time Systems. Computer 26(3), 73–74 (1993)

    Article  Google Scholar 

  16. Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers 39(9), 1175–1185 (1990)

    Article  MathSciNet  Google Scholar 

  17. Vardanega, T., Zamorano, J., de la Puente, J.A.: On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels. Real-Time Syst. 29(1) (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Fabrice Kordon Tullio Vardanega

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hamid, I., Najm, E. (2008). Operational Semantics of Ada Ravenscar. In: Kordon, F., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2008. Ada-Europe 2008. Lecture Notes in Computer Science, vol 5026. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68624-8_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68624-8_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68621-7

  • Online ISBN: 978-3-540-68624-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics