Das Buch "Embedded Systems Development" bietet eine umfassende Betrachtung der Techniken zur Modellierung, Verifizierung und Validierung des Verhaltens und der Leistung komplexer verteilter eingebetteter Systeme. Die Autoren, darunter renommierte Experten auf dem Gebiet, zielen darauf ab, die Lücke zwischen den Disziplinen des modellbasierten Designs, der Echtzeitanalyse und der modellgetriebenen Entwicklung zu schliessen. Dies ermöglicht ein besseres Verständnis der Methoden, mit denen neue Entwicklungsabläufe konstruiert werden können, beginnend mit der systemweiten Modellierung bis hin zur korrekten und vorhersehbaren Generierung einer verteilten Implementierung. Das Buch stützt sich auf aktuelle und zukünftige Forschungsergebnisse und ist somit eine wertvolle Ressource für Fachleute und Studierende, die sich mit der Entwicklung eingebetteter Systeme beschäftigen.