Modeling Embedded Systems and SoC's

Preface

This book is the result of a desire to systematically understand and present various models of computation developed during the 1980s and 1990s. These models have been elaborated, analyzed, and applied in the context of digital hardware and embedded software design. All of them have in common a strong emphasis on issues of time.

During the 1980s several new languages appeared that were based on the perfect synchrony assumption—that neither computation nor communication takes any noticeable time and that the timing of the system is solely determined by the arrival of input events. These so-called synchronous languages (Esterel, Signal, Argos, Lustre, StateCharts, etc.) were developed for either embedded software or digital hardware design. ...