Précédent : Références Remonter : PROJET
MEIJE
The Meije research team (a.k.a. ``Concurrency, Synchronisation
and Real-Time'' group at Inria), is a joint project with the
Ecole des Mines de Paris in its Centre de
Mathématiques Appliquées laboratory at Sophia-Antipolis. Its
main research domains are :
- Concurrency Theory, and in particular process algebraic
semantics of higher-order processes, allowing channel
names or even processes to be carried across by communications.
Work this year was conducted more specifically on comparative
expressivity and relation to verification methods. This work
was carried partly inside the european consortium Esprit BRA
Confer, and supported by a CTI grant from CNET.
- The synchronous reactive language ESTEREL. The language is
designed for the programming of embedded systems, software or
hardware controllers typically. It enjoys an industrial-quality
programming environment. We have focused recently on precise
semantic treatment of causality issues (such as ``races'' in
circuits), with a particular concern for efficient compilation
and visualisation of results. Version 5 of the system is now
available. This research is a topic of intensive industrial
collaborations, primarily with the french aircraft company
Dassault but also with several other leading hardware companies
such a Motorola and Synopsys.
- The model-based verification of process algebraic networks.
In this domain we developed the AUTO/GRAPH automatic verifier,
then the FC2TOOLS follow-up including symbolic BDD-based
verification modules. Recently we focused on verification of
synchronous reactive formalisms. This work was carried partly
inside the european consortium Esprit BRA Concur2, and is
supported by a CTI grant from CNET and the forthcoming Esprit
LTR SYRF project.
- Reactive programming. Here, based on a simple extension of
the C language to include basic synchronous reactive paradigms
such as atomic instants and signal broadcast,
we developed a range of derived formalisms, like REACTIVE
SCRIPTS and REACTIVE OBJECTS. Experiments on using reactive
behaviours for graphic programming in the Internet are
supported by an Action de Développement.
Précédent : Références Remonter : PROJET MEIJE