Code Generation Basics : Executable Model

Executable Model

As a designer creates a model, Rational Statemate builds a formal mathematical representation of the model that can be dynamically analyzed on a computer at any time. In conjunction with debugging and analysis tools, the model can be refined even further. Dynamic Testing can be used to eliminate many logical problems that might otherwise not be found until the system is built and in the field.

The end result is a system design embodied in a formally defined working model of the system’s functionality. This model can then be compiled using C or Ada source code generated by Rational Statemate, including the model’s graphical interface panels. This compiled code can be run independently of Rational Statemate on another code-compatible computer.

Alternately, the Rapid Prototyping C code generator can be used to create code suitable for compilation/linking/downloading into a embedded prototyping development system. This would then allow the testing of the model within a prototype use-case environment.

Code Generation, and subsequent compilation, is the focus of this manual. The Rational Statemate code generators are consistent in their interface and basic functionality. This interface and functionality are the focus of the balance of this document.