Section: New Results

New features of Polychrony

Participants : Loïc Besnard, Thierry Gautier.

To facilitate building the Polychrony environment on the various platforms (Linux, Windows, MacOS), we have integrated the use of cmake http://www.cmake.org tool. Cmake is a cross-platform build generator. Projects specify their build process with platform-independent files included in each directory of a source tree. Users build a project by generating a build system for a native tool on their platform. This technique is used to export binary distributions.

The team worked on the traceability of program and model transformations in collaboration with Geensys http://www.geensys.com with applications to the simulation embedded spacecraft software. The inter-operating tools, the Signal compiler and the Geensys simulator, have been modified in order, for the latter, to reach a variable in the code generated by the former.

Another connection with simulation and visualization tools has been developped to interface the code generator with the IEEE VCD (Value Change Dump) format. During the simulation of an application, a VCD file is generated. It can be used as input by viewers such that gtkwave http://gtkwave.sourceforge.net/ or IVI http://sourceforge.net/projects/ivi . The simulation can equally be played step-by-step and interactively by using pipes instead of files.