Code Generation
MicroC Code Generator To complement the Telelogic® Statemate® prototype code generators, the MicroC Code Generator allows production quality ANSI C code to be generated from the Statemate design model at any point during development. Creating an Operating System Definition enables this capability and allows the code generator to take care of the tedious error-prone coding required to move from design to implementation. This Operating System Definition is created using a menu driven tool that is included with the MicroC Code Generator. It serves as an abstraction of the underlying operating system or scheduler and adds no overhead in code size. The MicroC Code Generator also includes out-of-the-box Operating System Definitions for the OSEK and MicroITRON standards along with examples for mainloop scheduling. In addition, the MicroC Code Generator automatically generates the required source code, makefiles, and even invokes the compiler and linker, enabling the software developer to build the graphical design into a complete library or executable. Ada Code Generator The Telelogic® Statemate Ada Code Generator™ allows you to automatically convert the formal Statemate model into high quality Ada Code for software developers. The software creates a virtual prototype for operation on a host workstation or PC, or code that runs on a target test bench system. This provides a rapid route to virtual and embedded prototyping that dramatically accelerates the prototyping process. This push button process is orders of magnitude faster than the traditional means of hand writing prototype code and it insures that the prototype matches the specification. |
