|
This
project incorporates the Esterel language
on a Z8 Encore!®.
The hardware includes the stock Zilog ZDS
II evaluation board with four resistors. As
a proof of concept that Esterel can be run
on the Z8 Encore!®
line of parts, the Esterel “Reflex Game” was
ported to run on the ZiLOG ZDS II evaluation
board. This demonstrates that correct-by-construction
design methodologies are possible on small
embedded systems like the Z8 Encore!®.
The program is presented as a game, but it
also can be used for practical purposes.
|
Robert Paddock
U.S.
bpaddock@softwaresafety.net
Abstract
| Entry
|
