Henkler, Stefan: Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme. 2012
Inhalt
- 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