Sites Inria

English version

Equipe de recherche MEXICO

Modeling and Exploitation of Interaction and Concurrency

Présentation de l'équipe

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.

Axes de recherche

voir version anglaise

Relations industrielles et internationales

voir version anglaise

Suivez Inria