Title :
Automatic generation of C++ code from an ESCRO2 specification
Author :
Grabow, P.C. ; Liu, L.
Author_Institution :
Dept. of Comput. Sci., Baylor Univ., Waco, TX, USA
Abstract :
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
Keywords :
C language; automatic programming; object-oriented languages; real-time systems; road traffic; specification languages; traffic control; C++ code; ESCRO2 processor; ESCRO2 specification; automatic generation; code generation process; default control mechanism; logical clock; main control process; output trace; predefined C++ classes; real time systems; specification language; traffic light control system; Clocks; Computer science; Control systems; Displays; Fires; Lighting control; Process control; Real time systems; Specification languages; State-space methods;
Conference_Titel :
Computer Software and Applications Conference, 1995. COMPSAC 95. Proceedings., Nineteenth Annual International
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-7119-X
DOI :
10.1109/CMPSAC.1995.524753
