Project : popart
Implementations of synchronous programs
ocrep distributes automatically synchronous programs according to specifications given by the user. Concretely, starting from a centralized source synchronous program obtained either with the Lustre or the Esterel compiler, from a number of desired computing locations, and an indication of where each input and output of the source program must be computed, ocrep produces several programs, one for each location, each one computing only its assigned variables and outputs, and communicating harmoniously. By this we mean that their combined behavior is equivalent to the behavior of the centralized source program and that there is no deadlock.
Currently our software ocrep is distributed in the form of executable on the web( http://www.inrialpes.fr/bip/people/girault/Ocrep). A contract for industrial transfer was drawn up with France Télécom R&D in order to integrate ocrep into their compiler Saxo-RT for Esterel programs.
We have been collaborating for several years with the project Aoste on the subject of fault-tolerance. In particular, we have implemented several new heuristics for fault-tolerance within their software SynDEx( http://www-rocq.inria.fr/syndex). In addition, we also consider transfers within the framework of the European project EAST-EEA in which we participate together with Aoste.