Logical Time @ Work for the Modeling and Analysis of Embedded Systems, Fachbücher von Frederic Mallet

"Logical Time @ Work for the Modeling and Analysis of Embedded Systems" ist ein Fachbuch, das sich mit der Konzeptualisierung und Analyse von logischer Zeit in eingebetteten Systemen beschäftigt. Es behandelt die Eigenschaften der logischen Zeit, die von synchronen Programmiersprachen gefördert werden, und hebt deren Funktionalität, Flexibilität und Vielseitigkeit hervor. Das Buch führt in die Clock Constraint Specification Language (CCSL) ein, eine spezifische Sprache, die für die Modellierung und Analyse von logischen Zeit-Eigenschaften entwickelt wurde. CCSL wird als Ergänzung zu anderen syntaktischen Modellen betrachtet und ermöglicht es, kausale, chronologische und zeitliche Beziehungen präzise zu erfassen. Der Autor, Frederic Mallet, beleuchtet historische Modelle der Parallelität, die zur Entwicklung von CCSL inspirierten, und demonstriert deren Anwendung in den Bereichen Automobil- und Luftfahrttechnik. Zudem wird eine Technik zur Überprüfung von Esterel- und VHDL-Implementierungen anhand von CCSL-Spezifikationen vorgestellt.