Formal Methods and Models for System Design, Fachbücher von Sandeep Kumar Shukla, Rajesh Gupta, Jean-Pierre Talpin, Paul...

"Formal Methods and Models for System Design" ist ein Fachbuch, das sich mit der Komplexität und Heterogenität von eingebetteten Systemen befasst. Es beleuchtet die Notwendigkeit, zwischen Hardware- und Softwareimplementierungen zu wählen, um die Funktionalität eines Systems zu optimieren. Das Buch bietet einen tiefen Einblick in die formalen Methoden und Modelle, die erforderlich sind, um das Verhalten von Anwendungen, die Bedürfnisse und die Einschränkungen der Systemimplementierung zu erfassen. Es wird diskutiert, wie Co-Design-Praktiken neue Möglichkeiten in der Systemkonzeption, Modellierung, Optimierung und Implementierung schaffen. Die Autoren betonen die Bedeutung formaler Modelle für die Synthese und Verifikation von Systemen und zeigen auf, wie aktuelle Ansätze in der Systemmodellierung auf hochgradig abstrahierte Programmierframeworks zurückgreifen, um die Effizienz der Systemimplementierung zu steigern. Das Buch richtet sich an Fachleute und Studierende, die ein vertieftes Verständnis für die formalen Methoden in der Systemgestaltung entwickeln möchten.