Inhaltsverzeichnis
Vorwort
vii
Danksagungen
xii
Inhaltsverzeichnis
xv
Über den Autor
xxi
Häufig benutzte mathematische Symbole
xxiii
1 Einleitung
1
1.1 Geschichte der Begriffe . . . . . . . . . . . . . . . . . . . . . . . .
1
1.2 Potential . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4
1.3 Herausforderungen . . . . . . . . . . . . . . . . . . . . . . . . . .
9
1.4 Gemeinsame Eigenschaften . . . . . . . . . . . . . . . . . . . . . . 18
1.5 Lehrplan-Integration von Eingebetteten Systemen, CPS und IoT . . 20
1.6 Entwurfsflüsse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.7 Struktur dieses Buches . . . . . . . . . . . . . . . . . . . . . . . . 27
1.8 Aufgaben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2 Spezifikation und Modellierung
31
2.1 Anforderungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2 Berechnungsmodelle . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3 Frühe Entwurfsphasen . . . . . . . . . . . . . . . . . . . . . . . . 45
2.3.1 Anwendungsfälle . . . . . . . . . . . . . . . . . . . . . . . 46
2.3.2 (Message) Sequence Charts . . . . . . . . . . . . . . . . . 47
2.3.3 Differentialgleichungen . . . . . . . . . . . . . . . . . . . . 50
2.4 Kommunizierende endliche Automaten . . . . . . . . . . . . . . . . 53
2.4.1 Zeitgesteuerte Automaten . . . . . . . . . . . . . . . . . . 53
2.4.2 StateCharts . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.4.3 Synchrone Sprachen . . . . . . . . . . . . . . . . . . . . . 66
2.4.4 Nachrichtenaustausch am Beispiel von SDL . . . . . . . . . 68
2.5 Datenfluss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5.1 Überblick . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5.2 Kahn-Prozessnetzwerke . . . . . . . . . . . . . . . . . . . 76
xv