Modeling and Generating Tailored Distribution Middleware for Embedded Real-Time Systems - Proceeding of the 3rd European Congress on Embedded Real Time Software Access content directly
Conference Papers Year : 2006

Modeling and Generating Tailored Distribution Middleware for Embedded Real-Time Systems

Abstract

Distributed real-time embedded (DRE) systems are becoming increasingly complex. They have to meet more and more stringent requirements, either functional or non-functional. Because of this, DRE systems development makes use of formal methods for verification; and, in some cases, generation of proven code. The distribution aspects are typically handled by a middleware, which must meet the system constraints. In this article, we describe our approach to model and generate middleware-based distributed systems for DRE applications. Our methodology is a three-step approach. First, we model the high-level inter-component interactions using connectors. We then use the Architecture Analysis and Design Language (AADL) as a pre-implementation description language to capture all the non-functional aspects of the system. Finally, we generate actual application code and the appropriate middleware from the AADL description. In order to demonstrate the feasibility of our approach, we created an application generator, Gaia. It is part of the Ocarina AADL tool suite and generates application source code for use with the PolyORB middleware.
Fichier principal
Vignette du fichier
9B4_T.Vergnaud_ENST.pdf (130.69 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02270490 , version 1 (25-08-2019)

Identifiers

  • HAL Id : hal-02270490 , version 1

Cite

Thomas Vergnaud, Irfan Hamid, Khaled Barbaria, Elie Najm, Laurent Pautet, et al.. Modeling and Generating Tailored Distribution Middleware for Embedded Real-Time Systems. Conference ERTS'06, Jan 2006, Toulouse, France. ⟨hal-02270490⟩
45 View
9 Download

Share

Gmail Facebook X LinkedIn More