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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aeroflex Gaisler AB. TSIM ERC32/LEON Simulator (2008), http://www.gaisler.com
autosar Gbr. Technical Overview. Technical report (2006)
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)
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)
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)
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)
OMG. CORBA Component Model Specification Version 4.0. OMG, OMG Technical Document formal/06-04-01 (April 2006)
OMG. Deployment and Configuration of Component-based Distributed Applications Specification, Version 4.0. OMG. OMG Technical Document formal/06-04-02 (April 2006)
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)
SAE: Architecture Analysis & Design Language (AS5506) (September 2004)
SAE: Architecture Analysis & Design Language v2.0 (AS5506) (September 2008)
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)
Sztipanovits, J., Karsai, G.: Model-Integrated Computing. Computer 30(4), 110–111 (1997)
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)
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)
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)
Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded System Design for Automotive Applications. Computer 40(10), 42–51 (2007)
TELECOM ParisTech. Ocarina: An AADL model processing suite (2008), http://aadl.enst.fr
Ada Working Group. Ada Reference Manual. ISO/IEC (2005), http://www.adaic.com/standards/05rm/RM-Final.pdf
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lasnier, G., Zalila, B., Pautet, L., Hugues, J. (2009). Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. In: Kordon, F., Kermarrec, Y. (eds) Reliable Software Technologies – Ada-Europe 2009. Ada-Europe 2009. Lecture Notes in Computer Science, vol 5570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01924-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-01924-1_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01923-4
Online ISBN: 978-3-642-01924-1
eBook Packages: Computer ScienceComputer Science (R0)