Modeling Embedded Systems and SoC's

Chapter Three. The Untimed Model of Computation

We now introduce the formal framework for representing different MoCs. It is based on processes, events, and signals. Events are the elementary units of information exchange between processes. Processes receive or consume events, and they send or emit events. The medium through which events are communicated from one process to another is called a signal. One and only one process can emit into a signal, but one or several can receive events from a signal. Signals preserve the order in which events enter them. Thus, they are represented as potentially infinite sequences of events.

The activity of processes is divided into evaluation cycles. In each evaluation cycle a process consumes inputs, computes ...