Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

AFMES

• Title: Advanced Formal Methods for Embedded Systems

• Inria principal investigator: Alain Girault

• International Partner (Institution - Laboratory - Researcher):

  • University of Auckland (New Zealand) - Department of Electrical and Computer Engineering

• Duration: 2010 - 2012

• See also: http://pop-art.inrialpes.fr/~girault/Projets/Afmes/

• Embedded systems are characterized by several constraints, such as determinism and bounded reaction time. Accordingly, design methods for embedded systems should, when possible, guarantee these properties by construction. This allows the shifting of the burden of checking these constraints from the programmer to the design method and the associated compilers and code generation tools. In order to achieve this, our goal is to improve the existing design methods in several key directions: (1) Incremental converter synthesis. (2) Programming language for adaptive computing (SystemJ and beyond) [15] . (3) Time predictable programming language and execution architectures [10] , [12] . Together, these advanced methods will provide a higher level of safety in the design of embedded systems.