Section: New Results

Dealing with uncertainty in logical time

Participants : Frédéric Mallet, Robert de Simone.

When uplifting the target of models to heterogeneous Cyber-Physical Systems, the relations from physical time (which governs Physical components) to logical time becomes an issue for proper abstraction in the design. Often, the other engineering discipline may know of "proto-logical" timing abstraction, but involving probabilistic/stochastic ingredients to link the declared logical clocks/events. As a results, several attempts have been made at extending the language to allow perceptive probabilistic structuring operators, that may link (unreachable) physical rhythms with their discretized, manageable counter-parts. Of course the feasibility of constraint solving remains the key issue for allowing extensions scarcely. Nevertheless, it should be noted that the focus on relevancy of relations between physical and logical times may in some case be an important concerns for non-IT scientists.

The reports on how early attempts can be found in [6], [10], [12]. The topic is far from closed, but as such these are valuable starts.

In the future, we plan to exploit these model extensions on practical application fields, including car trajectory computation with Renault Software Lab, security properties "with Time"in the ILP SPAI with other Inria teams, and micro-satellites in the ATIPPIC IRT Saint-Exupery project with Thales Alenia Space.