Architektonische Modellierung im Dienste der TR2E-Systeme [German]

By Bechir Zalila

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.

• Format: Paperback
• Language: German
• ISBN: 620718775X
• ISBN13: 9786207187751
• Release Date: February 2024
• Publisher: Verlag Unser Wissen
• Length: 92 Pages
• Weight: 0.32 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"