ESCRO2 is a specification language for real time systems. The paper describes the capabilities of the ESCRO2 processor to generate C++ code from an ESCRO2 specification. A traffic light control system is used to illustrate the concepts. The control system is specified and the code generation process is described. Each generated portion of the specification is discussed: intervals, events, devices and stores, actions, and rules. Predefined C++ classes are identified and the generated code is described. Also, the default control mechanism (including a logical clock and the main control process) is described and an output trace for the example system is listed.

In this paper a hierarchical graph model for programs based on the concepts of recursive graphs (RG's) and Codd relations is presented. The purpose of the model is to clearly represent the structure of a program implemented in a structured language, such as Pascal, Algol, or PL/1, so that the program can be analyzed and modifications to the program can be clearly specified. The model uses an RG representation for the control flow and the data flow with an equivalent relational representation. It also has a relational representation for the objects defmed within the program. The various aspects of the model are illustrated using Pascal constructs and a model for an example Pascal program is given.