Kirjahaku

Dans ce m moire d'habilitation universitaire, nous d crivons les principales contributions de nos activit s de recherche. Ces activit s s'inscrivent dans la th matique des architectures logicielles dans un contexte temps r el r parti embarqu (TR2E). Quatre contributions principales sont d crites: la reconfiguration dynamique, la tol rance aux pannes, l'optimisation multi-objectifs et enfin la v rification formelle des syst mes TR2E. Toutes ces contributions se fondent sur les langages de description d'architectures (ADLs) comme pilier principal de mod lisation, et ce, en raison du pouvoir d'expression tr s puissant de ces derniers, ce qui permet de d crire l'architecture globale d'un syst me avant d'utiliser des techniques de transformation de mod les et de g n ration de code pour r aliser les diff rentes actions relatives chacune des contributions. Nous utilisons intensivement ces techniques afin de maximiser l'automatisation et r duire la quantit de code crit la main par le d veloppeur.

La production de syst mes temps-r el r partis embarqu s (TR2E) est une op ration lourde en temps et en co t de d veloppement. De plus, les applications temps-r el doivent satisfaire des contraintes dures pour assurer leur bon fonctionnement. L'utilisation des langages de description d'architecture vise r duire le co t de d veloppement de ces applications. AADL (Architecture Analysis & Design Language}) fait partie de cette famille de langages. Il propose la notion de "composant" dont la s mantique bien d finie permet de d crire plusieurs aspects d'un syst me TR2E. Ce travail exploite les fonctionnalit s offertes par AADL pour sp cifier les besoins exacts d'une application TR2E afin de la produire automatiquement. En effet, le processus de production que nous proposons g n re automatiquement le code pour int grer les composants applicatifs la plate-forme d'ex cution, g n re automatiquement une importante partie des composants intergiciels taill s sur mesure pour l'application et d ploie automatiquement les composants applicatifs et intergiciels afin d'obtenir un syst me fortement d di l'application.

Die Herstellung von verteilten eingebetteten Echtzeitsystemen (TR2E) ist ein zeit- und kostenintensiver Entwicklungsprozess. Dar ber hinaus m ssen Echtzeitanwendungen harten Beschr nkungen gen gen, um einen reibungslosen Betrieb zu gew hrleisten. Die Verwendung von Architekturbeschreibungssprachen zielt darauf ab, die Entwicklungskosten f r diese Anwendungen zu senken. AADL (Architecture Analysis & Design Language}) geh rt zu dieser Sprachfamilie. Sie schl gt das Konzept der "Komponente" vor, deren wohldefinierte Semantik es erm glicht, mehrere Aspekte eines TR2E-Systems zu beschreiben.Diese Arbeit nutzt die von AADL angebotenen Funktionalit ten, um die genauen Anforderungen einer TR2E-Anwendung zu spezifizieren, damit diese automatisch produziert werden kann. Der von uns vorgeschlagene Produktionsprozess generiert automatisch den Code, um die Anwendungskomponenten in die Ausf hrungsplattform zu integrieren, generiert automatisch einen gro en Teil der auf die Anwendung zugeschnittenen Middleware-Komponenten und setzt die Anwendungs- und Middleware-Komponenten automatisch ein, um ein stark auf die Anwendung ausgerichtetes System zu erhalten.

The production of distributed real-time embedded systems (TR2E) is a time-consuming and costly development operation. What's more, real-time applications have to satisfy stringent constraints in order to function properly. The use of architecture description languages aims to reduce the cost of developing these applications. AADL (Architecture Analysis & Design Language}) belongs to this family of languages. It proposes the notion of "component", whose well-defined semantics can be used to describe several aspects of a TR2E system.This work exploits the functionalities offered by AADL to specify the exact requirements of a TR2E application in order to produce it automatically. Indeed, the production process we propose automatically generates the code to integrate the application components into the execution platform, automatically generates a large proportion of the middleware components tailored to the application, and automatically deploys the application and middleware components to obtain a system highly dedicated to the application.

La produzione di sistemi embedded distribuiti in tempo reale (TR2E) un'operazione di sviluppo che richiede tempo e denaro. Inoltre, le applicazioni in tempo reale devono soddisfare vincoli stringenti per garantire il loro corretto funzionamento. L'uso di linguaggi di descrizione dell'architettura mira a ridurre i costi di sviluppo di queste applicazioni. AADL (Architecture Analysis & Design Language) appartiene a questa famiglia di linguaggi. Propone la nozione di "componente", la cui semantica ben definita pu essere utilizzata per descrivere diversi aspetti di un sistema TR2E.Questo lavoro sfrutta le funzionalit offerte da AADL per specificare i requisiti esatti di un'applicazione TR2E al fine di produrla automaticamente. Infatti, il processo di produzione che proponiamo genera automaticamente il codice per integrare i componenti dell'applicazione nella piattaforma di esecuzione, genera automaticamente gran parte dei componenti middleware su misura per l'applicazione e distribuisce automaticamente i componenti dell'applicazione e del middleware per ottenere un sistema altamente dedicato all'applicazione.

A produ o de sistemas integrados distribu dos em tempo real (TR2E) uma opera o de desenvolvimento morosa e dispendiosa. Al m disso, as aplica es em tempo real t m de satisfazer restri es rigorosas para garantir o seu correto funcionamento. A utiliza o de linguagens de descri o da arquitetura visa reduzir o custo de desenvolvimento destas aplica es. A AADL (Architecture Analysis & Design Language) pertence a esta fam lia de linguagens. Prop e a no o de "componente" cuja sem ntica bem definida pode ser utilizada para descrever v rios aspectos de um sistema TR2E.Este trabalho explora as funcionalidades oferecidas pela AADL para especificar os requisitos exactos de uma aplica o TR2E, a fim de a produzir automaticamente. De facto, o processo de produ o que propomos gera automaticamente o c digo para integrar os componentes da aplica o na plataforma de execu o, gera automaticamente uma grande parte dos componentes de middleware adaptados aplica o e implementa automaticamente os componentes da aplica o e do middleware, de modo a obter um sistema altamente dedicado aplica o.