Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain - IMT - Institut Mines-Télécom Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain

Résumé

Distributed Real-time Embedded (DRE) systems are increasingly used in critical domains such as avionics, vehicle and industrial control as well as in medical systems. They must be designed carefully and have to provide safety properties because a failure could mean loss of life. For these reasons, it is recommended to automatically generate a significant part of the code from the models describing the critical aspects. In our approach, we automatically generate two kinds of code from architectural models. The first one plugs the user functional code in the middleware, the second one provides a significant part of the middleware functions. Both rely on a hand coded written middleware that provides the minimal facilities to plug the generated code and to resolve portability issues. In this paper, we present our code generator and the middleware designed to generate High Integrity (HI) systems. We demonstrate via several use-cases how we succeeded in meeting the requirements of DRE systems (small memory footprint, no dead-code, etc...).
Fichier principal
Vignette du fichier
ERTS2008_0040_paper.pdf (151.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

insu-02270097 , version 1 (23-08-2019)

Identifiants

  • HAL Id : insu-02270097 , version 1

Citer

Julien Delange, Jérôme Hugues, Laurent Pautet, Bechir Zalila. Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270097⟩
34 Consultations
187 Téléchargements

Partager

Gmail Facebook X LinkedIn More