Henkler, Stefan: Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme. 2012
Content
1 Einleitung
2 Mechatronic UML
2.1 Entwicklung hierarchischer Komponentensysteme
2.2 Selbstoptimierende, mechatronische Systeme
2.3 Komponenten
2.4 Echtzeitverhalten
2.4.1 Real-Time Coordination Pattern
2.4.2 Real-Time Statecharts
2.4.3 Parameterized Real-Time Coordination Pattern
2.4.4 Parameterized Real-Time Statecharts
2.4.5 Rekonfigurationsverhalten
2.4.6 Verifikation
2.4.7 Verfeinerungen
2.5 Hybrides Verhalten
2.6 Timed Story Driven Modeling
3 Verfeinerung in hierarchischen Komponentensystemen
4 Integration von Altkomponenten
4.1 Gray Box Checking
4.2 Black Box Checking
4.3 White Box Checking
4.4 Identifikation von Reglerverhalten
4.5 Diskussion
5 Synthese von Komponentenverhalten
5.1 Kompositionsregeln
5.2 Synthese
5.2.1 Parallele Komposition
5.2.2 Anwendung von Zustands-Kompositionsregeln
5.2.3 Anwendung von Nachrichten-Kompositionsregeln
5.3 Erhalt von Rollenverhalten
5.4 Weitere Anwendungsfälle
5.5 Diskussion
6 Werkzeugunterstützung
7 Verwandte Arbeiten
7.1 Modellgetriebene Entwicklungsansätze
7.2 Modellierung und Verfeinerung kompositioneller Strukturanpassungen
7.3 Analyse von Altkomponenten
7.4 Synthese von Komponentenverhalten
8 Zusammenfassung und Ausblick
A Timed Story Charts
A.1 Elemente
A.1.1 Statechart
A.1.2 Zustände
A.1.3 Transitionen
A.1.4 Clocks
A.1.5 Guards
A.1.6 Synchronisationen
A.1.7 Invariante
A.1.8 Time Guards
A.1.9 Clock Resets
A.1.10 Deadlines
A.1.11 Actions und Seiteneffekte
A.1.12 WCET und Prioritäten
A.2 Zusammengesetzte Ausführung
Abbildungsverzeichnis
Tabellenverzeichnis
Literaturverzeichnis