Article

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

Authors:

Gilles Lasnier,

Laurent Pautet,

Jérome HuguesAuthors Info & Claims

Ada-Europe '09: Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies

Pages 237 - 250

https://doi.org/10.1007/978-3-642-01924-1_17

Published: 06 June 2009 Publication History

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 <Emphasis Type="SmallCaps">ocarina</Emphasis> which allows automatic code generation from AST models. Finally, we present a comparison between <Emphasis Type="SmallCaps">ocarina</Emphasis> and traditional approaches.

References

[1]

Aeroflex Gaisler AB. TSIM ERC32/LEON Simulator (2008), http://www.gaisler.com

[2]

AUTOSAR Gbr. Technical Overview. Technical report (2006)

[3]

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)

[4]

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)

[5]

Hugues, J., Zalila, B., Pautet, L., Kordon, F.: From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite. ACMTECS 7(4), 1-25 (2008)

[6]

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)

[7]

OMG. CORBA Component Model Specification Version 4.0. OMG, OMG Technical Document formal/06-04-01 (April 2006)

[8]

OMG. Deployment and Configuration of Component-based Distributed Applications Specification, Version 4.0. OMG. OMG Technical Document formal/06-04- 02 (April 2006)

[9]

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)

[10]

SAE: Architecture Analysis & Design Language (AS5506) (September 2004)

[11]

SAE: Architecture Analysis & Design Language v2.0 (AS5506) (September 2008)

[12]

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)

[13]

Sztipanovits, J., Karsai, G.: Model-Integrated Computing. Computer 30(4), 110- 111 (1997)

[14]

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)

[15]

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)

[16]

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)

[17]

Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded System Design for Automotive Applications. Computer 40(10), 42-51 (2007)

[18]

TELECOM ParisTech. Ocarina: An AADL model processing suite (2008), http://aadl.enst.fr

[19]

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

[20]

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)

Cited By

Hatcliff JBelt JRobby Hardin D(2024)Integrated Contract-Based Unit and System Testing for Component-Based SystemsNASA Formal Methods10.1007/978-3-031-60698-4_25(406-426)Online publication date: 4-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-60698-4_25
Hatcliff JStewart DBelt J. RSchwerdfeger A(2023)An AADL Contract Language Supporting Integrated Model- and Code-Level VerificationACM SIGAda Ada Letters10.1145/3591335.359133942:2(45-54)Online publication date: 5-Apr-2023
https://dl.acm.org/doi/10.1145/3591335.3591339
Hatcliff JBelt JRobby Legg JStewart DCarpenter T(2023)Automated Property-Based Testing from AADL Component ContractsFormal Methods for Industrial Critical Systems10.1007/978-3-031-43681-9_8(131-150)Online publication date: 20-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-43681-9_8
Show More Cited By

Recommendations

An ocarina extension for AADL formal semantics generation
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing

The formal verification has become a recommended practice in safety-critical software engineering. The hand-written of the formal specification requires a formal expertise and may become complex, especially with large systems. In such context, the ...
Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance
Proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies --- Ada-Europe 2016 - Volume 9695

Replication is a reliability technique that involves redundancy of software or hardware components to guarantee availability for fault tolerance purposes. Several studies focused on modelling fault tolerance of real-time embedded systems using ...
From the prototype to the final embedded system using the Ocarina AADL tool suite

Building distributed deal-time embedded systems requires a stringent methodology, from early requirement capture to full implementation. However, there is a strong link between the requirements and the final implementation (e.g., scheduling and resource ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

Ada-Europe '09: Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies

June 2009

281 pages

ISBN:9783642019234

Editors:
Fabrice Kordon
Université P. & M. Curie, LIP6 - CNRS UMR 7606, Paris cedex 05, France 75252
,
Yvon Kermarrec
Telecom Bretagne, Technopôle Brest-Iroise, CS 83818, Brest cedex 3, France 29238

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 06 June 2009

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hatcliff JBelt JRobby Hardin D(2024)Integrated Contract-Based Unit and System Testing for Component-Based SystemsNASA Formal Methods10.1007/978-3-031-60698-4_25(406-426)Online publication date: 4-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-60698-4_25
Hatcliff JStewart DBelt J. RSchwerdfeger A(2023)An AADL Contract Language Supporting Integrated Model- and Code-Level VerificationACM SIGAda Ada Letters10.1145/3591335.359133942:2(45-54)Online publication date: 5-Apr-2023
https://dl.acm.org/doi/10.1145/3591335.3591339
Hatcliff JBelt JRobby Legg JStewart DCarpenter T(2023)Automated Property-Based Testing from AADL Component ContractsFormal Methods for Industrial Critical Systems10.1007/978-3-031-43681-9_8(131-150)Online publication date: 20-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-43681-9_8
Tietz VFrey CSchoepf JAnnighoefer BKühn TSousa V(2022)Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3550356.3561536(627-632)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550356.3561536
Hatcliff JHugues JStewart DWrage L(2022)Formalization of the AADL Run-Time ServicesLeveraging Applications of Formal Methods, Verification and Validation. Software Engineering10.1007/978-3-031-19756-7_7(105-134)Online publication date: 22-Oct-2022
https://dl.acm.org/doi/10.1007/978-3-031-19756-7_7
Jeong EJeong DHa S(2021)Dataflow Model–based Software Synthesis Framework for Parallel and Distributed Embedded SystemsACM Transactions on Design Automation of Electronic Systems10.1145/344768026:5(1-38)Online publication date: 5-Jun-2021
https://dl.acm.org/doi/10.1145/3447680
Brau GFoughali MHung CHong JBechini ASong E(2021)Contract-based verification of model transformationsProceedings of the 36th Annual ACM Symposium on Applied Computing10.1145/3412841.3442031(1559-1568)Online publication date: 22-Mar-2021
https://dl.acm.org/doi/10.1145/3412841.3442031
Hladik PIngrand FDal Zilio STekin R(2021) HippoJournal of Systems and Software10.1016/j.jss.2021.111033181:COnline publication date: 1-Nov-2021
https://dl.acm.org/doi/10.1016/j.jss.2021.111033
Hatcliff JBelt JRobby Carpenter T(2021)HAMR: An AADL Multi-platform Code Generation ToolsetLeveraging Applications of Formal Methods, Verification and Validation10.1007/978-3-030-89159-6_18(274-295)Online publication date: 17-Oct-2021
https://dl.acm.org/doi/10.1007/978-3-030-89159-6_18
Hugues JHristosov AHudak JYankel JGuerra EIovino L(2020)TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPSProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3417990.3421446(1-5)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3417990.3421446
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents