<<< Back to Synchronous/Reactive     Forward to Dataflow Process Networks >>>

Concurrent State Machines

Lecture notes

Homework

Homework 4 due Tuesday, 10/25.

  1. Create an implementation of the double click detector from the last problem set using an extended state machine instead of primitive SR actors. Discuss the feasibility and attractiveness of implementing this as a simple FSM, with no use the arithmetic variables of extended state machines.
  2. Exercises 1 and 2 of the (unwritten) Dataflow chapter of Concurrent Models of Computation: An Actor-Oriented Approach.

Reading

Assigned reading:

  1. Ptolemaeus, C. (ed.), "System Design, Modeling, and Simulation", Chapter 7.
  2. Berry (2003). The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems, Esterel Technologies.