Section: New Results

Cyber extensions for the FMI physical API

Participants : Julien Deantoni, Giovanni Liboni, Robert de Simone.

The challenge here is to specify how an appropriate behavioral interface can be specified at the language level so that individual simulators can provide sufficient interface information to allow their correct coordination in terms of correctness and performance. Using our modeling approaches to describe formally the specificities of simulators and scheduling patterns, maybe even targeting synthesis of efficient interactions, is a new research topic [9], conducted in art in the context of the GLOSE project (see 7.1.2) in collaboration with SAFRAN tech.