Team Pop Art

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

International actions

AFMES associated team

This collaboration involves two teams, the Pop Art team and the ACEI team from the University of Auckland, New Zealand (led by Zoran Salcic, professor at the University of Auckland). It is funded by the Direction des Relations Internationales of Inria and it started in January 2009( ).

We work on some of the most important challenges for the design of embedded systems. Let us recall that embedded systems are characterized by several constraints, such as enormous complexity and heterogeneity, need for determinism or bounded reaction time. Accordingly, design methods for embedded systems should, wherever possible, be automated and guarantee these properties by construction, therefore shifting the burden of checking these constraints from the programmer/system designer to the design method. In order to achieve this, our goal is to improve the existing design methods in several key directions: (i) incremental converter synthesis (see Section  6.5.1 ); (ii) programming language for adaptive computing – SystemJ and beyond (see Section  6.3.1 ); (iii) time predictable programming language and execution architectures (see Section  6.3.2 ). Together, these advanced formal methods will provide foundations for automated design and higher level of safety of the designed embedded systems.


Logo Inria