Automatic generation of C++ code from an ESCRO2 specification

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.