Architektonische Modellierung im Dienste der TR2E-Systeme - Zalila, Bechir
60,90 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
0 °P sammeln
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
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.
Autorenporträt
Bechir Zalila es profesor ayudante universitario en la Ecole Nationale d'Ingénieurs de Sfax (Universidad de Sfax, Túnez) desde 2011. Defendió su Habilitación el 28 de mayo de 2022.Sus actividades docentes e investigadoras se centran en los sistemas distribuidos en tiempo real aplicados a los sistemas embebidos.