[Home]Other Development Tools

HomePage | RecentChanges | Preferences

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


HomePage | RecentChanges | Preferences
This page is read-only unless you log in | View other revisions
Last edited January 18, 2010 2:53 pm by Andersho (diff)
Search: