Modeling and Generating Tailored Distribution Middleware for Embedded Real-Time Systems - Télécom Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02270490 , version 1

Citer

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 Consultations
9 Téléchargements

Partager

Gmail Facebook X LinkedIn More