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: University of Auckland (New Zealand).

  • Laboratory: Department of Electrical and Computer Engineering.

  • Principal investigator: Zoran Salcic.

• Duration: January 2010 – December 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). (3) Time predictable programming language and execution architectures. Together, these advanced methods will provide a higher level of safety in the design of embedded systems.

Visits of International Scientists

• Hamoudi Kalla, assistant professor at University of Batna, Algeria, September 2011.

• Ismail Assayad, assistant professor at University of Casablanca, Morocco, September 2011.

Internship

• Emmanouil Komninos, 02-07/2011, co-advised by Pascal Fradet and Alain Girault, Power consumption optimization of data-flow applications on many-core systems, MSc at KTH, Sweden.