Détail d'une fiche   Version PDF

MEXICO (SR0468FR)

Modeling and Exploitation of Interaction and Concurrency

MEXICO (SR0358LR) →  MEXICO


Statut: Terminée

Responsable : Stefan Haar

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A2.3. Systèmes embarqués et cyber-physiques , A2.3.2. Systèmes cyber-physiques , A2.3.3. Systèmes temps réel , A2.4.1. Analyse , A2.4.2. Model-checking , A6.4.1. Contrôle déterministe , A6.4.3. observabilité et contrôlabilité , A7.1. Algorithmique , A7.1.1. Algorithmique distribuée , A7.2. Logique , A7.3.1. Modèles de calcul et calculabilité , A8.1. Mathématiques discrètes, combinatoire , A8.2. Optimisation , A8.7. Théorie des graphes , A8.8. Théorie des réseaux , A8.9. Evaluation de performances , A8.11. Théorie des jeux

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B1.1.2. Biologie moléculaire et cellulaire , B1.1.7. Biologie computationnelle , B1.1.10. Biologie des systèmes et biologie synthétique , B3.4. Risques , B3.6. Ecologie , B7.1. Gestion des traffics , B7.2.1. Véhicules intelligents

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/01/2011 -> 30/06/2023
Dates d'évaluation : 22/03/2011 , 17/03/2015 , 20/03/2019 ,

Etablissement(s) de rattachement : CNRS, UNIV. PARIS-SACLAY
Laboratoire(s) partenaire(s) : LMF

CRI : Centre Inria de Saclay
Localisation : ENS Paris-Saclay - Laboratoire Méthodes Formelles (LMF)
Code structure Inria : 111048-1

Numéro RNSR : 200920937Y
N° de structure Inria: SR0468FR

Présentation

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