Section: New Results

From model to code

Participants : Amine Oueslati, Robert de Simone, Arsak Megkrampian.

Synthesizing programs and algorithms in an optimal fashion may call for model transformations, as above, but also on careful tuning at program level, which make take into consideration a number of concrete phenomena absent from abstract models (at the cost of losing exhaustivity). Specific code optimization techniques in a CPS design context is the challenge here. WE are collaborating with Dumitru Potop-Butucaru (formerly from the Aoste team) on the topic, where he develops the LoPhT (Logical to Physical Time) environment dealing with these issues.