Equipe-projet

MEXICO

Modeling and Exploitation of Interaction and Concurrency
Modeling and Exploitation of Interaction and Concurrency

Dans un environnement où les réseaux sont de plus en plus présents, la fiabilité des applications devient d'autant plus critique que le nombre d'utilisateurs des systèmes de communication, services Web, moyens de transport, etc., augmente constamment. Les travaux de MExICo ont pour motivation une meilleure compréhension et une fiabilité accrue des systèmes distribués asynchrones, et s'intéressent particulièrement à la concurrence et à l'interaction. Avec la taille croissante et le déploiement en réseau des systèmes de communication, des contrôleurs, des services etc. nous sommes confrontés à un très grand degré de parallélisme entre les processus locaux. Dans toutes les formes d'analyse et de contrôle, une vision globale du système conduit à une explosion du nombre d'états et de transitions, qui nuit à la mise en valeur des mécanismes mis en œuvre. À l'inverse, en respectant la concurrence, on évite l'énumération exhaustive des entrelacements, et on peut se concentrer sur les propriétés essentielles des comportements non séquentiels caractérisés par les relations de causalité. Nous voyons la concurrence dans les systèmes distribués comme une opportunité plutôt qu'un obstacle qui conduit à l'explosion du nombre d'états des modèles formels et ralentit les algorithmes.

Centre(s) inria
Saclay - Île-de-France
En partenariat avec
CNRS,Ecole normale supérieure de Cachan

Membres

Responsable de l'équipe

Alexandra Merlin

Assistant(e) de l'équipe