de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Henkler, Stefan: Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme. 2012
Inhalt
1 Einleitung
1.1 Ziele und Konzeptüberblick
1.2 Anwendungsbeispiel
1.3 Übersicht
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.5.1 Hybrid Reconfiguration Charts
2.5.2 Verifikation und Verfeinerung
2.6 Timed Story Driven Modeling
2.6.1 Metamodell
2.6.2 Timed Story Pattern
2.6.3 Timed Story Diagrams
2.6.4 Timed Story Charts
3 Verfeinerung in hierarchischen Komponentensystemen
3.1 Verfeinerungsdefinition
3.1.1 Real-Time Statecharts
3.1.2 Timed Story Charts
3.1.3 Diskussion
3.2 Verfeinerungsüberprüfung
3.2.1 Erreichbarkeitsanalyse
3.2.2 Verifikation der Verfeinerung
3.2.3 Diskussion
4 Integration von Altkomponenten
4.1 Gray Box Checking
4.1.1 Formalisierungen
4.1.2 Initiale Verhaltenssynthese
4.1.3 Iterative Verhaltenssynthese
4.2 Black Box Checking
4.2.1 L* Lernalgorithmus
4.2.2 L* für mechatronische Systeme
4.3 White Box Checking
4.4 Identifikation von Reglerverhalten
4.5 Diskussion
5 Synthese von Komponentenverhalten
5.1 Kompositionsregeln
5.1.1 Zustands-Kompositionsregeln
5.1.2 Nachrichten-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.3.1 Rollenkonformität
5.3.2 Erhalt von Deadlock Freiheit
5.4 Weitere Anwendungsfälle
5.5 Diskussion
6 Werkzeugunterstützung
6.1 Ausführung
6.1.1 Laufzeitumgebung
6.1.2 Codegenerierung und Laufzeitanalyse
6.2 Umsetzung
6.3 Validierung
6.3.1 Konvoi-Anwenungsszenario
6.3.2 Weitere Anwendungsszenarien und Fazit
7 Verwandte Arbeiten
7.1 Modellgetriebene Entwicklungsansätze
7.2 Modellierung und Verfeinerung kompositioneller Strukturanpassungen
7.2.1 Modellierung
7.2.2 Verfeinerung
7.2.3 Verifikation
7.3 Analyse von Altkomponenten
7.3.1 Reguläre Inferenz
7.3.2 Abstraktionstechniken
7.4 Synthese von Komponentenverhalten
7.4.1 Controller-Synthese
7.4.2 Synthese von nicht-zeitbehafteten Komponentenverhalten
7.4.3 Synthese von zeitbehafteten 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
A.2.1 Zustände
A.2.2 Transitionen
Abbildungsverzeichnis
Tabellenverzeichnis
Literaturverzeichnis
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.