Bøger af 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.

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.

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.

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.