Other Development Tools
Support all ARM7 and ARM9 core based processors and Supports almost all the manufacture's FLASH chips.
Model and Design your embedded system with UML state machine notation and generate
very compact ANSI C and efficient code for all microcontrollers. Simulation, extensive testing and verification
can be performed. The formal verification automatically detects things like: dead end states, unreachable states, ambiguous transitions etc.
Together with Embedded Workbench for ARM, it is also possible to get real time graphical feedback on system state directly in C-SPY. Breakpoints can
be set on the state machine level etc.
- MicroMonitor with boot, debugging, flash file system, TFTP and immediate network boot (DHCP/BOOTP) : open source