Skip to Main content Skip to Navigation
Conference papers

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

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...).
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal-insu.archives-ouvertes.fr/insu-02270097
Contributor : Axelle Pagnier <>
Submitted on : Friday, August 23, 2019 - 6:15:01 PM
Last modification on : Friday, July 31, 2020 - 10:44:09 AM
Long-term archiving on: : Friday, January 10, 2020 - 11:09:06 PM

File

ERTS2008_0040_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : insu-02270097, version 1

Citation

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⟩

Share

Metrics

Record views

15

Files downloads

49