Team Pop Art

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2003
Project: Pop Art

Project : popart

Section: Scientific Foundations

Keywords : dedicated languages , compositionality , distribution , fault tolerance , controller generation .

Main Research Directions


We intend to exploit our knowledge of formal techniques and their use, and of control theory, according to aspects of the definition of fundamental tools, and applications.

The integration of formal methods in an automated process of generation/compilation is founded on the formal modeling of the considered mechanisms. This modeling is the base for the automation, which operates on models well-suited for their efficient exploitation, by analysis and synthesis techniques that are difficult to use by end-users.

The creation of easily usable models aims at giving the user the role rather of a pilot than of a mechanic, i.e., to offer her/him pre-defined functionalities which respond to concrete demands, for example in the generation of fault-tolerant or distributed executives, by the intermediary use of dedicated environments and languages.

The proposal of validated models with respect to their faithful representation of the application domain is done through case studies in collaboration with our partners, where the typical multidisciplinarity of questions across control theory and computer science is exploited.

Main Directions

The overall consistency of our approach comes from the fact that the main research directions address, under different aspects, the specification and generation of safe real-time control executives based on formal models.

We explore this field by linking, on the one hand, the techniques we use, with on the other hand, the functionalities we want to offer. We are interested in questions concerning:

Implementations of synchronous programs

can be tackled differently depending on the execution platform. Our approach is to obtain, by compilation (thus automatically), founded on a formal model of the program to be implemented:

Control/scheduling co-design

where the interaction of the very nature of the control we consider, with its real-time implementation can be tackled in two ways:

Automatic generation of correct controllers

where we apply the technique of discrete controller synthesis, especially by using the tools Sigali [36] and Mode Automata [35] within an automated framework, for: