Das Buch "Embedded Systems: Design, Analysis and Verification" bietet eine umfassende Sammlung von Fachbeiträgen, die auf dem 4. International Embedded Systems Symposium (IESS 2013) basieren. Die Konferenz fand im Juni 2013 in Paderborn statt und versammelte Experten auf dem Gebiet der eingebetteten Systeme. In diesem Band sind 22 vollständig überarbeitete Artikel sowie 8 Kurzbeiträge enthalten, die aus 42 eingereichten Arbeiten ausgewählt wurden. Die Beiträge decken eine Vielzahl von Themen ab, darunter Entwurfsmethoden, nicht-funktionale Aspekte, Verifikation, Leistungsanalyse, Echtzeitsysteme und Anwendungen eingebetteter Systeme. Ein besonderes Kapitel widmet sich dem BMBF-geförderten ARAMIS-Projekt, das sich mit Multicore-Systemen in der Automobil-, Bahn- und Luftfahrttechnik beschäftigt. Dieses Buch richtet sich an Fachleute und Studierende, die sich mit den neuesten Entwicklungen und Herausforderungen im Bereich der eingebetteten Systeme auseinandersetzen möchten.