Advertisement

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications

  • Gilles Lasnier
  • Bechir Zalila
  • Laurent Pautet
  • Jérome Hugues
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5570)

Abstract

Developing safety-critical distributed applications is a difficult challenge. A failure may cause important damages as loss of human life or mission’s failure. Such distributed applications must be designed and built with rigor. Reducing the tedious and error-prone development steps is required; we claim that automatic code generation is a natural solution. In order to ease the process of verification and certification, the user can use modeling languages to describe application critical aspects. In this paper we introduce the use of AST as a modeling language for Distributed Real-time Embedded (DRE) systems. Then we present our tool-suite ocarina which allows automatic code generation from AST models. Finally, we present a comparison between ocarina and traditional approaches.

Keywords

Code Generation Modeling Language Abstract Syntax Tree Architecture Description Language Automatic Code Generation 
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. [Aer08]
    Aeroflex Gaisler AB. TSIM ERC32/LEON Simulator (2008), http://www.gaisler.com
  2. [aG06]
    autosar Gbr. Technical Overview. Technical report (2006)Google Scholar
  3. [BDV04]
    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
  4. [dlPRZ00]
    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)CrossRefGoogle Scholar
  5. [HZPK08]
    Hugues, J., Zalila, B., Pautet, L., Kordon, F.: From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite. ACM TECS 7(4), 1–25 (2008)Google Scholar
  6. [LTGS03]
    Lu, T., Turkay, E., Gokhale, A., Schmidt, D.C.: CoSMIC: An MDA Tool suite for Application Deployment and Configuration,. In: Proceedings of the OOPSLA 2003 Workshop on Generative Techniques in the Context of Model Driven Architecture, Anaheim, CA (October 2003)Google Scholar
  7. [OMG06a]
    OMG. CORBA Component Model Specification Version 4.0. OMG, OMG Technical Document formal/06-04-01 (April 2006)Google Scholar
  8. [OMG06b]
    OMG. Deployment and Configuration of Component-based Distributed Applications Specification, Version 4.0. OMG. OMG Technical Document formal/06-04-02 (April 2006)Google Scholar
  9. [Qui03]
    Quinot, T.: Conception et Réalisation d’un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables. PhD thesis, École Nationale Supérieure des Télécommunications (March 2003)Google Scholar
  10. [SAE04]
    SAE: Architecture Analysis & Design Language (AS5506) (September 2004)Google Scholar
  11. [SAE08]
    SAE: Architecture Analysis & Design Language v2.0 (AS5506) (September 2008)Google Scholar
  12. [SBG08]
    Sriplakich, P., Blanc, X., Gervals, M.P.: Collaborative Software Engineering on large-scale models: requirements and experience in ModelBus. In: Proceedings of the 2008 ACM symposium on Applied computing, pp. 674–681. ACM, New York (2008)CrossRefGoogle Scholar
  13. [SK97]
    Sztipanovits, J., Karsai, G.: Model-Integrated Computing. Computer 30(4), 110–111 (1997)CrossRefGoogle Scholar
  14. [SLNM04]
    Singhoff, F., Legrand, J., Nana, L., Marc, L.: Cheddar: a flexible real time scheduling framework. In: ACM SIGAda Ada Letters, ACM Press, New York (2004)Google Scholar
  15. [SnG07]
    Schreiner, D., Goschka, K.M.: A Component Model for the AUTOSAR Virtual Function Bus. In: COMPSAC 2007: Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), Washington, DC, USA, 2007, vol. 2, pp. 635–641. IEEE Computer Society Press, Los Alamitos (2007)CrossRefGoogle Scholar
  16. [SSK+07]
    Shankaran, N., Schmidt, C., Koutsoukos, X.D., Chen, Y., Lu, C.: Design and performance evaluation of configurable component middleware for end-to-end adaptation of distributed real-time embedded systems. In: ISORC 2007: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp. 291–298. IEEE Computer Society Press, Los Alamitos (2007)Google Scholar
  17. [SVN07]
    Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded System Design for Automotive Applications. Computer 40(10), 42–51 (2007)CrossRefGoogle Scholar
  18. [TEL08]
    TELECOM ParisTech. Ocarina: An AADL model processing suite (2008), http://aadl.enst.fr
  19. [WG05]
    Ada Working Group. Ada Reference Manual. ISO/IEC (2005), http://www.adaic.com/standards/05rm/RM-Final.pdf
  20. [ZPH08]
    Zalila, B., Pautet, L., Hugues, J.: Towards Automatic Middleware Generation. In: 11th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2008), Orlando, Florida, USA, May 2008, pp. 221–228 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Gilles Lasnier
    • 1
  • Bechir Zalila
    • 1
  • Laurent Pautet
    • 1
  • Jérome Hugues
    • 1
  1. 1.Institut TELECOM – TELECOM Paris Tech – LTCIParis CEDEX 13France

Personalised recommendations