Research project IT/IF/011 (Research action IT)
The purpose of the project is to study the problems connected with automation of the transformation of the graphical specification of a real- time system into software for parallel environment. This specification is in the form of a machine with parallel and hierarchic states (specification language G++). Transformation is planned in two stages. The first will produce an abstract program comprising a large number of small sequential processes and a representation of the constraints (especially temporal) of the specification and the interactions between processes. In the second stage, the abstract program will be turned into a concrete program for a given parallel architecture.
