Skip to main content
SpringerLink
Log in

Automatic framework generation for hard real-time applications

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

The communication and tasking infrastructure of a real-time application makes up a significant portion of any modern embedded control system. Traditionally, the tasking and communication constructs are provided by a full-fledged real-time operating system. We present an approach to automatically generate a robust framework for an application from its architectural description. This framework sits atop a Ravenscar-compliant runtime as opposed to a standard real-time operating system. We also present an extension of our approach to support code generation for high-integrity distributed applications.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ada Working Group (2005) Ada Reference Manual. ISO/IEC, available at http://www.adaic.com/standards/05rm/RM-Final.pdf

  2. Aonix (2006) Real-Time RAVEN, http://www.aonix.com/pdf/RAVEN-aon.pdf

  3. Barros MC, Madeira ER, Sotoma I (2003) An experience on CORBA component deployment. In: Proceedings of the 6th international symposium on autonomous decentralized systems (ISADS’03)

  4. Bordin M, Vardanega T (2005) Automated model-based generation of ravenscar-compliant source code. In: ECRTS ’05: Proceedings of the 17th Euromicro conference on real-time systems (ECRTS’05), IEEE Computer Society, Washington, DC, USA, pp 59–67, http://dx.doi.org/10.1109/ECRTS.2005.9

  5. Budinsky F, Steinberg D, Merks E, Ellersick R and Grose T (2004). Eclipse modeling framework. Addison-Wesley, Reading

    Google Scholar 

  6. Burns A and Wellings AJ (1994). HRT-HOOD: a structured design method for hard real-time systems. Real-Time Syst 6(1): 73–114 http://dx.doi.org/10.1007/BF01245300

    Article  Google Scholar 

  7. Burns A and Wellings A (2001). Real-time systems and programming languages, 3rd edn. Addison-Wesley, Reading

    Google Scholar 

  8. Burns A, Dobbing B and Vardanega T (2004). Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Lett XXIV(2): 1–74 http://doi.acm.org/10.1145/997119.997120

    Article  Google Scholar 

  9. Carmichael AR (1992) Defining software architectures using the hierarchical object-oriented design method (HOOD). In: TRI-Ada ’92: Proceedings of the conference on TRI-Ada ’92, ACM, New York, USA, pp 211–219, http://doi.acm.org/10.1145/143557.143721

  10. Ellidiss Software (2007) Stood, http://www.ellidiss.com/stood.shtml

  11. ENST (2006) Ocarina: An AADL model processing suite, http://ocarina.enst.fr, URL http://ocarina.enst.fr

  12. Espinoza H, Dubois H, Gérard S, Medina J, Petriu DC, Woodside M (2006) Annotating UML models with non-functional properties for quantitative analysis. Satellite Events at the MoDELS 2005 Conference 3844/2006, pp 79–90

  13. Halbwachs N (2005) A synchronous language at work: the story of lustre. In: MEMOCODE ’05: Proceedings of the proceedings. Second ACM and IEEE international conference on formal methods and models for Co-Design, 2005. MEMOCODE ’05., IEEE Computer Society, Washington, DC, USA, pp 3–11, http://dx.doi.org/10.1109/MEMCOD.2005.1487884

  14. Hugues J, Zalila B, Pautet L (2006) Middleware and tool suite for high integrity systems

  15. Kwon J, Wellings A and King S (2005). Ravenscar-Java: a high-integrity profile for real-time Java. Concurr Comput Pract Exp 17(5–6): 681–713

    Article  Google Scholar 

  16. Mazzini S, D’Alessandro M, Natale MD, Lipari G, Vardanega T (2003) Issues in mapping HRT-HOOD to UML. ecrts 00:221, http://doi.ieeecomputersociety.org/10.1109/EMRTS.2003.1212747

  17. Object Management Group (2007) Unified modeling language: superstructure. OMG, 2nd edn

  18. de la Puente JA, Ruiz JF, Zamorano J (2000) An open Ravenscar real-time kernel for GNAT. In: Ada-Europe 2000: Proceedings of the 5th Ada-Europe international conference on reliable software technologies, Springer, London, pp 5–15

  19. RTCA, EUROCAE (1992) DO-178B, software considerations in airborne systems and equipment certification. RTCS and EUROCAE

  20. SAE (2004) Architecture analysis & design language (AS5506). Available at http://www.sae.org

  21. SAE (2005) Language compliance and application program interface. SAE, the AADL Specification Document Annex D

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

  23. Sha L, Rajkumar R and Lehoczky J (1990). Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9): 1175–1185 http://doi.ieeecomputersociety.org/10.1109/12.57058

    Article  MathSciNet  Google Scholar 

  24. Sha L, Klein MH and Goodenough JB (1993). Rate monotonic analysis for real-time systems. Computer 26(3): 73–74 http://dx.doi.org/10.1109/2.204696

    Article  Google Scholar 

  25. Vestal S (1998) Software programmer’s manual for the Honeywell Aerospace Compiled Kernel (MetaH Language Reference Manual). Honeywell Technology Center, Minneapolis

  26. Zalila B, Hamid I, Hugues J, Pautet L (2007) Generating distributed high integrity applications from their architectural description. In: 12th international conference on reliable software technologies Ada-Europe 2007, pp 155–167

Download references

Author information

Authors and Affiliations

  1. ENST, 46 rue Barrault, 75013, Paris, France

    Irfan Hamid, Bechir Zalila, Elie Najm & Jérôme Hugues

Authors
  1. Irfan Hamid
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bechir Zalila
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elie Najm
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jérôme Hugues
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Irfan Hamid.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hamid, I., Zalila, B., Najm, E. et al. Automatic framework generation for hard real-time applications. Innovations Syst Softw Eng 4, 107–122 (2008). https://doi.org/10.1007/s11334-008-0044-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-008-0044-5

Keywords

Search

Navigation