Bechir Zalila

Architektonische Modellierung im Dienste der TR2E-Systeme

Beiträge zu Dynamic Configuration, Fault Tolerance, Optimization und Formal Verification

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Verlag Unser Wissen
• Seitenzahl: 92
• Erscheinungstermin: 22. Februar 2024
• Deutsch
• Abmessung: 220mm x 150mm x 7mm
• Gewicht: 155g
• ISBN-13: 9786207187751
• ISBN-10: 620718775X
• Artikelnr.: 70029578

Autorenporträt

Bechir Zalila ist seit 2011 Maitre Assistant Universitaire an der Ecole Nationale d'Ingénieurs de Sfax (Universität Sfax, Tunesien). Seine Habilitation an der Universität verteidigte er am 28. Mai 2022.Seine Lehr- und Forschungsaktivitäten liegen im Bereich der verteilten Echtzeitsysteme, die auf eingebettete Systeme angewendet werden.