Inhalt

•  
   1 Einleitung
•  
   1.1 RailCab -- ein selbstoptimierendes System
•  
   1.2 Motivation
•  
  1.3 Ziel und Lösungsansatz
•  
   1.3.1 Modellierung der Komponentenstrukturen und deren Rekonfiguration
•  
   1.3.2 Gefahrenanalyse
•  
   1.3.3 Einbettung in den Entwicklungsprozess
•  
   1.4 Übersicht über die Arbeit
•  
  2 Grundlagen
•  
   2.1 Selbstoptimierende Systeme
•  
   2.2 Verlässlichkeit
•  
   2.2.1 Sicherheit
•  
   2.2.2 Beeinträchtigungen
•  
   2.2.3 Fehlerbaumanalyse
•  
   2.3 Mechatronic UML
•  
   2.3.1 Real-Time Statecharts
•  
   2.3.2 Echtzeitkoordinationsmuster
•  
   2.3.3 Komponenten
•  
   2.3.4 Hybride Rekonfigurationscharts
•  
   2.4 Story Driven Modeling
•  
   2.4.1 Klassendiagramme
•  
   2.4.2 Storypatterns
•  
   2.4.3 Storydiagramme
•  
   3 Modellierung rekonfigurierbarer Architekturen
•  
  3.1 Strukturspezifikation
•  
   3.1.1 Komponententyp
•  
   3.1.2 Hierarchische Komponententypen
•  
   3.1.3 Komponenteninstanzen
•  
   3.1.4 Abstrakte Syntax
•  
   3.2 Strukturtransformationen
•  
   3.2.1 Anforderungen
•  
   3.2.2 Komponentenstorydiagramme
•  
   3.2.3 Komponentenstorypatterns
•  
   3.2.4 Iterierte Komponentenstorypatterns
•  
   3.2.5 Start- und Stopaktivitäten
•  
   3.2.6 Weitere Aktivitäten
•  
   3.2.7 Kontrollfluss
•  
   3.2.8 Beispiel
•  
   3.2.9 Abstrakte Syntax
•  
   3.2.10 Formale Semantik
•  
  3.3 Ausführung in Echtzeitsystemen
•  
   3.3.1 Worst-Case-Execution-Time Analyse
•  
   3.3.2 Scheduling im Echtzeitbetriebssystem
•  
   3.4 Zusammenfassung
•  
   4 Komponentenbasierte Gefahrenanalyse
•  
  4.1 Modelle
•  
   4.1.1 Fehlertyphierachie
•  
   4.1.2 Basisereignisse
•  
   4.1.3 Ausfälle
•  
   4.1.4 Fehlerpropagierung innerhalb einer Komponente
•  
   4.1.5 Fehlerpropagierung zwischen Komponenteninstanzen
•  
   4.1.6 Gefahren
•  
   4.1.7 Abstrakte Syntax
•  
   4.2 Qualitative Analyse
•  
   4.2.1 Bottom-Up
•  
   4.2.2 Top-Down
•  
   4.3 Quantitative Analyse
•  
  4.4 Ansatzpunkte zur Verbesserung der Sicherheit
•  
   4.4.1 Reduzierung der Ereigniswahrscheinlichkeit
•  
   4.4.2 Änderung der Fehlertypen
•  
   4.5 Zusammenfassung
•  
   5 Gefahrenanalyse von selbstoptimierenden Systemen
•  
   5.1 Erreichbare Konfigurationen
•  
   5.1.1 Hybride Rekonfigurationscharts
•  
   5.1.2 Komponentenstorydiagramme
•  
   5.2 Analysemodell
•  
   5.3 Qualitative Analyse
•  
   5.4 Quantitative Analyse
•  
   5.4.1 Schlechteste Konfiguration
•  
   5.4.2 Beste Konfiguration
•  
   5.4.3 Erlaubte Konfigurationen
•  
   5.5 Zusammenfassung
•  
  6 Werkzeugunterstützung
•  
  6.1 Benutzerschnittstelle
•  
   6.1.1 Modellierung
•  
   6.1.2 Gefahrenanalyse
•  
   6.2 Softwarearchitektur
•  
   6.3 Experimentelle Ergebnisse
•  
   6.4 Zusammenfassung
•  
  7 Verwandte Arbeiten
•  
  7.1 Graphtransformationen für komponentenbasierte Softwarearchitekturen
•  
   7.1.1 Taentzer
•  
   7.1.2 Kacem
•  
   7.1.3 COOL
•  
   7.1.4 Métayer
•  
   7.1.5 Wermelinger
•  
   7.1.6 Mechatronic UML Ansätze
•  
  7.2 Gefahrenanalyse
•  
   7.2.1 Komponentenbasierte Gefahrenanalysen
•  
   7.2.2 State Event Fault Trees
•  
   7.2.3 Deductive Cause-Consequence Analysis
•  
   7.3 Zusammenfassung
•  
   8 Zusammenfassung und Ausblick
•  
   8.1 Ausblick
•  
   Literaturverzeichnis
•  
  A Erweiterte Storydiagramme
•  
   A.1 Syntax
•  
   A.2 Formale Semantik
•  
  B Gefahrenanalyse für Systeme mit Varianten und Produktlinien
•  
   B.1 Beste Variante
•  
  B.2 Produktfamilien
•  
   B.2.1 Schlechteste Variantenkombination
•  
   B.3 Erlaubte Varianten
•  
   B.4 Auswahl der robustesten Variante