Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

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.