1 Einleitung. - 1. 1 Die Bedeutung eingebetteter Systeme. - 1. 2 Entwurf eingebetteter Systeme. - 1. 3 Das POLIS-System. - 1. 4 Organisation des Buches. - 2 Modelle und Darstellungen. - 2. 1 Co-Design von Modellen und Sprachen. - 2. 2 CFSMs: Intuitive Semantik. - 2. 3 CFSMs: Mathematisches Modell. - 2. 4 CFSMs: Modellierung des Datenflusses. - 2. 5 Das SHIFT-Format. - 2. 6 Spezifikation: Synchrone Sprachen. - 2. 7 Überblick über die ESTEREL-Sprache. - 2. 8 Spezifikation: Grafische FSMs. - 2. 9 Modellierungssoftware CFSMs. - 2. Modellierungssoftware 10 Software-Kostenmodell. - 2. 11 Modell zur Charakterisierung von Prozessoren. - 3 Synthese. - 3. 1 Partitionierung und Architekturauswahl. - 3. 2 Software-Synthese. - 3. 3 Schätzung der Softwarekosten. - 3. 4 Hardware-Synthese. - 4 Schnittstellensynthese und das Echtzeitbetriebssystem. - 4. 1 Synthese von Grenzflächen. - 4. 2 Synthese des Betriebssystems in Echtzeit. - 4. 3 netzwerkspezifische Teile: Schnittstelle zwischen Hardware und Software. - 4. 4 zielspezifische Teile: Erstellen einer Abstraktion. - 4. 5 planungsspezifische Teile: Koordination von sw-CFSMs. - 4. 6 gemeinsame Teile: Die Lücken füllen. - 4. 7 Validierung des Zeitplans. - 5 Verifizierung. - 5. 1 Schnelles Prototyping. - 5. 2 Simulation. - 5. 3 Co-Simulation mit der PTOLEMY-Umgebung. - 5. 4 Simulation als Unterstützung der Partitionierung. - 5. 5 Co-Simulation auf hoher Ebene mit VHDL. - 5. 6 Formale Überprüfung. - 6 Schnittstelle zu externer Hardware und Software. - 6. 1 Externe Hardware. - 6. 2 Externe Software. - 6. 3 Schnittstelle zu einem externen RTOS. - 7 Design-Beispiele. - 7. 1 Ein Dashboard-Controller. - 7. 2 Ein Automotive-Bus-Controller. - 7. 3 A Stoßdämpfer-Controller. - 8 Schlussfolgerungen und zukünftige Arbeiten. - Ein Glossar. - B Die Syntax der Verschiebung. -Referenzen. Sprache: Englisch