This tool generates embedded C code from UPPAAL modes. The tool supports various hardware architectures, and provies an innovative way to connect hardware I/O to UPPAAL channels.
UPPAAL (http://www.uppaal.org/) is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
Tags: Code generation, codegen, UPPAAL, timed automata, MBED