POP ART : Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (project-team)

About the project : Project-Team site Activity report Research reports Theses Theme : Com Communicating systems Grenoble - Rhône-Alpes research center

This Research-Team is a follow-up of BIP Research-Team

Project-Team Presentation

We work on the problem of the safe design of real-time control systems. This area is touching as well on control theory as on computer science, and the application domains are typically safety-critical systems, as in transportation (avionics, trains), production, medical or energy production systems. There is a need for methods and formal models that can be implemented in effective, automated assitance tools, targeted to specialists of the applications. We contribute to propose solutions all along the design flow, between specification and implementation: we devellop techniques for the specification and automated generation of safe real-time executives for control systems.

Research themes

• implementations of synchronous reactive programs, generated automatically by compilation, particularly from the point of view of distribution (in relation with the Esterel language) and fault tolerance (in relation with the SynDEx environment);
• the control/scheduling co-design, with cross-interactions between techniques of servoing and real-time operating systems, in order to obtain an adaptative scheduling, with regard to quality of service (in relation with the ORCCAD environment);
• the automated generation of correct controllers, from generic patterns of models of components (typically control tasks) and of properties of their interactions, using discrete control synthesis(in relation with the Mode automata and Signal languages, and the SIGALI synthesis tool);
• compositionality for verification and synthesis, particularly for timed systems.

Our applications are in embedded systems, typically : robotics, automobile, and telecommunications.

International and industrial relations

• Participation in the ITEA European project EAST-EEA, about embedded electronics in automobile.
• Participation in the IST European network of excellence AOSD-Europe, about aspect-oriented programming.
• Participation in the IST European network of excellence ARTIST 2, about advanced real-time systems.
• Participation in the French research project DISPO, about availability of service for software components.
• Participation in the French research project ALIDECS, about component-based design for large reactive systems.
• Cooperations with ST Microelectronics and France Telecom Recherche & Développement.

Software

ORCCAD, OCREP

Scientific leader

Alain GIRAULT     [homepage]
+33 4 76 61 53 51
Alain.Girault@inrialpes.fr
Secretary : +33 4 76 61 53 34