Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

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

(1) , (1) , (1) , (1)
1

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : insu-02270097 , version 1

Cite

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⟩
24 View
131 Download

Share

Gmail Facebook Twitter LinkedIn More