Section: Partnerships and Cooperations

National Initiatives

ANR

IMPRO

Participant : Loïc Hélouët.

• Title: IMPRO

• Type: ANR

• Defi: Implementability and Robustness of Timed Systems

• Duration: march 2011 - march 2014

• Coordinator: IRCCYN Nantes

• Others partners: IRCCyN (Nantes), IRISA (Rennes), LIP6 (Paris), LSV (Cachan), LIAFA (Paris), LIF (Marseilles)

• See also: http://anr-impro.irccyn.ec-nantes.fr/

• Abstract: This project addresses the issues related to the practical implementation of formal models for the design of communicating embedded systems: such models abstract many complex features or limitations of the execution environment. The modeling of time, in particular, is usually ideal, with infinitely precise clocks, instantaneous tests or mode commutations, etc. Our objective is thus to study to what extent the practical implementation of these models preserves their good properties. We will first define a generic mathematical framework to reason about and measure implementability, and then study the possibility to integrate implementability constraints in the models. We will particularly focus on the combination of several sources of perturbation such as resource allocation, the distributed architecture of applications, etc. We will also study implementability through control and diagnostic techniques. We will finally apply the developed methods to a case study based on the AUTOSAR architecture, a standard of the automotive industry.