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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.