Informationsverarbeitende Systeme werden immer kleiner und zunehmend in komplexe Produkte eingebettet daher der Name "eingebettete Systeme". Es wird erwartet, dass ihre wirtschaftliche Bedeutung diejenige von traditionellen informationsverarbeitenden Systemen wie PCs und Großrechnern deutlich übersteigen wird. Dieses Buch betrachtet gemeinsame Eigenschaften solcher Systeme wie Verlässlichkeit, Effizienz, Echtzeitanforderungen sowie anwendungsspezifische Benutzerschnittstellen.

Neben Spezifikationssprachen werden Hard- und Software eingebetteter Systeme sowie Echtzeitbetriebssysteme und Scheduling betrachtet. Zur Implementierung eingebetteter Systeme wird Hardware-/Software-Codesign verwendet. Das Buch schließt mit einem Überblick über Validierungstechniken.

Dieses Buch eignet sich als Begleitbuch zu einem Kurs über eingebettete Systeme, ist aber auch eine Informationsquelle für Doktoranden und Lehrende. Grundwissen über Hard- und Software in der Informationsverarbeitung wird vorausgesetzt.

Die wirtschaftliche Bedeutung eingebetteter Systeme wird diejenige traditioneller Systeme voraussichtlich deutlich übersteigen.
Neben gemeinsamen Eigenschaften wie Verlässlichkeit, Effizienz, Echtzeitanforderungen und anwendungsspezifische Benutzerschnittstellen werden auch Spezifikationssprachen, Hard- und Software eingebetteter Systeme sowie Echtzeitbetriebssysteme und Scheduling betrachtet. Zur Implementierung wird Hardware-/Software-Codesign verwendet. Das Buch schließt mit einem Überblick über Validierungstechniken.
Es eignet sich als Begleitbuch zu einem Kurs über eingebettete Systeme, ist aber auch eine Informationsquelle für Doktoranden und Lehrende.

Inhalt
Spezifikationssprachen.- Hardware eingebetteter Systeme.- Eingebettete Betriebssysteme, Middleware und Scheduling.- Implementierung eingebetteter Systeme: Hardware-/Software-Codesign.- Evaluierung und Validierung.