Bøker av Bechir Zalila

Dieses Dokument ist eine Sammlung der Vorlesungsmitschriften des Moduls "Verteiltes Software-Engineering", das den Studenten des Studiengangs Informatikingenieurwesen an der ENIS (Ecole Nationale d'Ingénieurs de Sfax, Tunesien) gelehrt wird. Darin stellen wir die wichtigsten Konzepte des CORBA-Standards der OMG vor. Im ersten Teil wird die eigentliche Vorlesungsmitschrift gegeben. Sie besteht aus sieben Kapiteln, in denen die wichtigsten Begriffe rund um die CORBA-Technologie behandelt werden. Im zweiten Teil wird eine Reihe von Tutorien gegeben. Es handelt sich um vier Tutorials mit zunehmender Komplexität, die die verschiedenen im Vorlesungsteil behandelten Konzepte anwenden.

In dieser akademischen Habilitationsschrift beschreiben wir die wichtigsten Beiträge unserer Forschungsaktivitäten. Diese Aktivitäten sind Teil des Themas Softwarearchitekturen in einem verteilten eingebetteten Echtzeitkontext (TR2E). Es werden vier Hauptbeiträge beschrieben: dynamische Rekonfiguration, Fehlertoleranz, Optimierung mit mehreren Zielen und schließlich die formale Verifikation von TR2E-Systemen. Alle diese Beiträge basieren auf Architekturbeschreibungssprachen (ADLs) als Hauptpfeiler der Modellierung, und zwar aufgrund ihrer sehr mächtigen Ausdruckskraft, die es ermöglicht, die Gesamtarchitektur eines Systems zu beschreiben, bevor Techniken zur Modelltransformation und Codegenerierung eingesetzt werden, um die verschiedenen Aktionen in Bezug auf jeden der Beiträge durchzuführen. Wir nutzen diese Techniken intensiv, um die Automatisierung zu maximieren und die Menge des vom Entwickler handgeschriebenen Codes zu reduzieren.

Jetot dokument predstawlqet soboj sbornik lekcij iz modulq "Razrabotka raspredelennogo programmnogo obespecheniq", kotoryj prepodaetsq studentam na kurse "Komp'üternaq inzheneriq" w ENIS (Nacional'naq shkola inzhenerow Sfaxa, Tunis). My predstawlqem osnownye koncepcii standarta OMG CORBA. V perwoj chasti priwoditsq sobstwenno konspekt kursa. On sostoit iz semi glaw, ohwatywaüschih osnownye ponqtiq, swqzannye s tehnologiej CORBA. Vo wtoroj chasti predstawlen nabor uchebnyh posobij. Oni sostoqt iz chetyreh urokow wozrastaüschej slozhnosti, w kotoryh primenqütsq razlichnye koncepcii, rassmotrennye w lekcionnoj chasti.

This document is a collection of lecture notes from the "Distributed Software Engineering" module taught to students in the Computer Engineering stream at ENIS (Ecole Nationale d'Ingénieurs de Sfax, Tunisia). It presents the main concepts of the OMG CORBA standard. In the first part, the actual course notes are given. It consists of seven chapters covering the essential notions surrounding CORBA technology. In the second part, a set of tutorials is given. These consist of four tutorials of increasing complexity, applying the various concepts covered in the lecture section.

In this thesis, we describe the main contributions of our research activities. These activities fall within the theme of software architectures in an embedded distributed real-time context (TR2E). Four main contributions are described: dynamic reconfiguration, fault tolerance, multi-objective optimization and formal verification of TR2E systems. All these contributions are based on architecture description languages (ADLs) as the main modelling pillar. This is due to the very powerful expressive power of ADLs, which enable the global architecture of a system to be described before using model transformation and code generation techniques to carry out the various actions relating to each of the contributions. We make extensive use of these techniques to maximize automation and reduce the amount of code written by hand by the developer.

Este documento é uma coleção de notas de aula do módulo "Engenharia de Software Distribuído" leccionado aos alunos do curso de Engenharia Informática da ENIS (Ecole Nationale d'Ingénieurs de Sfax, Tunísia). Apresentamos os principais conceitos da norma OMG CORBA. Na primeira parte, são dadas as notas do curso propriamente dito. É composto por sete capítulos que cobrem os conceitos essenciais da tecnologia CORBA. Na segunda parte, é apresentado um conjunto de tutoriais. Estes consistem em quatro tutoriais de complexidade crescente que aplicam os diferentes conceitos abordados na parte teórica.

Nesta tese, descrevemos as principais contribuições das nossas actividades de investigação. Estas actividades fazem parte do tema das arquitecturas de software num contexto de tempo real distribuído incorporado (TR2E). São descritas quatro contribuições principais: reconfiguração dinâmica, tolerância a falhas, otimização multi-objetivo e verificação formal de sistemas TR2E. Todas estas contribuições se baseiam em linguagens de descrição de arquitecturas (ADL) como principal pilar de modelização, devido ao poder de expressão muito poderoso das ADL, que permite descrever a arquitetura global de um sistema antes de utilizar técnicas de transformação de modelos e de geração de código para realizar as várias acções relacionadas com cada uma das contribuições. Utilizamos amplamente estas técnicas para maximizar a automatização e reduzir a quantidade de código escrito à mão pelo programador.

V ätoj dissertacii my opisywaem osnownoj wklad nashej issledowatel'skoj deqtel'nosti. Jeta deqtel'nost' qwlqetsq chast'ü temy "Arhitektury programmnogo obespecheniq wo wstroennom raspredelennom kontexte real'nogo wremeni" (TR2E). Opisany chetyre osnownyh naprawleniq: dinamicheskaq rekonfiguraciq, otkazoustojchiwost', mnogocelewaq optimizaciq i formal'naq werifikaciq sistem TR2E. Vse äti materialy osnowany na qzykah opisaniq arhitektury (ADL) w kachestwe osnownogo älementa modelirowaniq, blagodarq ochen' moschnym wozmozhnostqm wyrazheniq ADL, kotorye pozwolqüt opisat' obschuü arhitekturu sistemy do ispol'zowaniq metodow preobrazowaniq modeli i generacii koda dlq wypolneniq razlichnyh dejstwij, swqzannyh s kazhdym iz ätih materialow. My shiroko ispol'zuem äti metody dlq maximal'noj awtomatizacii i sokrascheniq ob#ema koda, napisannogo razrabotchikom wruchnuü.

Questo documento è una raccolta di appunti del modulo "Ingegneria del software distribuito" tenuto agli studenti del corso di Ingegneria informatica dell'ENIS (Ecole Nationale d'Ingénieurs de Sfax, Tunisia). Presentiamo i concetti principali dello standard OMG CORBA. Nella prima parte, vengono forniti gli appunti del corso vero e proprio. Si tratta di sette capitoli che coprono i concetti essenziali della tecnologia CORBA. Nella seconda parte, viene fornita una serie di esercitazioni. Si tratta di quattro esercitazioni di complessità crescente che applicano i diversi concetti trattati nella parte di lezione.

In questa tesi descriviamo i principali contributi delle nostre attività di ricerca. Queste attività fanno parte del tema delle architetture software in un contesto embedded distribuito in tempo reale (TR2E). Vengono descritti quattro contributi principali: la riconfigurazione dinamica, la tolleranza ai guasti, l'ottimizzazione multi-obiettivo e la verifica formale dei sistemi TR2E. Tutti questi contributi si basano sui linguaggi di descrizione dell'architettura (ADL) come pilastro principale della modellazione, grazie alla loro potente capacità di espressione, che consente di descrivere l'architettura complessiva di un sistema prima di utilizzare tecniche di trasformazione del modello e di generazione del codice per eseguire le varie azioni relative a ciascuno dei contributi. Facciamo ampio uso di queste tecniche per massimizzare l'automazione e ridurre la quantità di codice scritto a mano dallo sviluppatore.

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.

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.

Sozdanie raspredelennyh wstraiwaemyh sistem real'nogo wremeni (TR2E) - äto trudoemkaq i dorogostoqschaq operaciq razrabotki. Bolee togo, prilozheniq real'nogo wremeni dolzhny udowletworqt' zhestkim ogranicheniqm dlq obespecheniq ih korrektnoj raboty. Snizit' stoimost' razrabotki takih prilozhenij prizwano ispol'zowanie qzykow opisaniq arhitektury. K ätomu semejstwu qzykow otnositsq AADL (Architecture Analysis & Design Language). V nem predlozheno ponqtie "komponent", chetko opredelennaq semantika kotorogo mozhet byt' ispol'zowana dlq opisaniq neskol'kih aspektow sistemy TR2E.V dannoj rabote ispol'zuütsq funkcional'nye wozmozhnosti AADL dlq opredeleniq tochnyh trebowanij k prilozheniü TR2E s cel'ü ego awtomaticheskogo sozdaniq. Fakticheski, predlagaemyj nami process proizwodstwa awtomaticheski generiruet kod dlq integracii komponentow prilozheniq w platformu ispolneniq, awtomaticheski generiruet znachitel'nuü chast' komponentow promezhutochnogo PO, adaptirowannyh k prilozheniü, i awtomaticheski razwertywaet prilozhenie i komponenty promezhutochnogo PO, chtoby poluchit' sistemu, w znachitel'noj stepeni orientirowannuü na prilozhenie.

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.

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.