Global Specification and Validation of Embedded Systems, Fachbücher von Ahmed A. Jerraya, G. Nicolescu

Das Buch "Global Specification and Validation of Embedded Systems" bietet eine umfassende Analyse der Konzepte und Praktiken, die hinter der Zusammensetzung heterogener Komponenten stehen. Es behandelt die bestehenden Berechnungs- und Ausführungsmodelle, die für die Spezifikation und Validierung verschiedener Teilsysteme verwendet werden. Der Autor präsentiert einen systematischen Ansatz zur Erstellung eines Ausführungsmodells für Systeme, die aus heterogenen Komponenten bestehen. Durch die Verwendung von Beispielen aus gemischten kontinuierlichen/diskreten sowie Hardware-/Software-Systemen wird das Verständnis dieser Konzepte vertieft. Dieses Fachbuch zielt darauf ab, Fachleuten eine klare Sicht auf die Theorie und Praxis der Spezifikation und Validierung komplexer moderner Systeme zu vermitteln. Die bereitgestellten Beispiele bieten den Designern praktische Lösungen für ihre tägliche Arbeit.