EE382C Embedded Software Systems
- Reader: Stephen Anthony Edwards, "Semantics", ch. 3 of
Specification and Execution
of Synchronous Reactive Systems,
Ph.D. Thesis, University of California, Berkeley, 1997,
Available as UCB/ERL M97/31.
- Esterel is a synchronous/reactive language as is the Synchronous/Reactive
domain in Ptolemy.
Stephen Edwards has developed an Esterel compiler, which is part of
the Synopsys CoCentric System Studio product.
This product is essentially a Ptolemy-like system with a more rigorous
mixing semantics between nested state machines and dataflow.