Eingebettete Systeme

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.

Prof. Dr. Peter Marwedel studierte Physik an der Universität Kiel, Deutschland. Er erhielt 1974 seinen Doktortitel in diesem Fachgebiet. Als Postdoktorand veröffentlichte er einige der ersten Arbeiten über High-Level-Synthese und retargierbare Compiler im Zusammenhang mit der Hardware-Beschreibungssprache MIMOLA. Im Jahr 1987 wurde seine Habilitationsschrift in Informatik angenommen. Von 1989 bis 2014 hatte er einen Lehrstuhl für Technische Informatik und Eingebettete Systeme an der Fakultät für Informatik der TU Dortmund inne. Außerdem ist er Vorsitzender des ICD, einer lokalen Ausgründung der TU Dortmund. Sein Forschungsinteresse gilt der Entwurfsautomatisierung für eingebettete Systeme, insbesondere der Generierung effizienter eingebetteter Software. Der Schwerpunkt liegt auf Energieeffizienz und zeitlicher Vorhersagbarkeit. Seit 2001 veröffentlichte Dr. Marwedel Arbeiten zu energieeffizienter Software und zur Compiler-gestützten Nutzung von Scratchpad-Speichern. Er istder Autor eines der wenigen Lehrbücher über eingebettete und cyber-physikalische Systeme. Den Sonderforschungsbereich SFB 876, dessen Ziel die ressourceneffiziente Analyse großer Datensätze ist, hat er mit-initiiert und er war dessen erster stellvertretender Vorsitzender.

Einleitung.- Spezifikation und Modellierung.- Hardware eingebetteter Systeme.- Systemsoftware.- Bewertung und Validierung.- Abbildung von Anwendungen (Scheduling).- Optimierung.- Test.