Eingebettete Systeme

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 Grossrechnern deutlich ubersteigen wird. Dieses Buch betrachtet gemeinsame Eigenschaften solcher Systeme wie Verlasslichkeit, 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 schliesst mit einem UEberblick uber Validierungstechniken. Dieses Buch eignet sich als Begleitbuch zu einem Kurs uber eingebettete Systeme, ist aber auch eine Informationsquelle fur Doktoranden und Lehrende. Grundwissen uber Hard- und Software in der Informationsverarbeitung wird vorausgesetzt.