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

Authors:
Gilles Lasnier;Bechir Zalila;Laurent Pautet;Jérome Hugues
Affiliations:
Institut TELECOM --- TELECOM Paris Tech --- LTCI, Paris CEDEX 13, France F-75634;Institut TELECOM --- TELECOM Paris Tech --- LTCI, Paris CEDEX 13, France F-75634;Institut TELECOM --- TELECOM Paris Tech --- LTCI, Paris CEDEX 13, France F-75634;Institut TELECOM --- TELECOM Paris Tech --- LTCI, Paris CEDEX 13, France F-75634
Venue:
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Year:
2009

Citing 10
Cited 2

Model-Integrated Computing

Computer
An Open Ravenscar Real-Time Kernel for GNAT

Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
Guide for the use of the Ada Ravenscar Profile in high integrity systems

ACM SIGAda Ada Letters
Cheddar: a flexible real time scheduling framework

Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded Systems

ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
A Component Model for the AUTOSAR Virtual Function Bus

COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Embedded System Design for Automotive Applications

Computer
Collaborative software engineering on large-scale models: requirements and experience in ModelBus

Proceedings of the 2008 ACM symposium on Applied computing
Towards Automatic Middleware Generation

ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
From the prototype to the final embedded system using the Ocarina AADL tool suite

ACM Transactions on Embedded Computing Systems (TECS)

Towards verified synthesis of ProCom, a component model for real-time embedded systems

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Platform-dependent code generation for embedded real-time software

Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems

Quantified Score

Hi-index	0.01

Visualization

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.