ARMADHA - Advancing Rigorous Modelling and Analysis of Distributed and Hardware Architectures

La présence de défauts, de défaillances et de bugs dans les systèmes logiciels et matériels demeure un véritable fléau, principalement en raison de la taille et de la complexité croissantes des applications modernes. 

L’équipe ARMADHA se concentre sur la correction, la sûreté, la fiabilité et la performance de ces systèmes.

Ces aspects sont particulièrement cruciaux pour les systèmes critiques, que l'on retrouve fréquemment dans des secteurs industriels tels que l'avionique, le ferroviaire, l'automobile, la finance, la santé, l'aérospatiale, la défense ou l'énergie. 

Dans ce contexte, l'objectif de l'équipe ARMADHA est de concevoir et de développer des langages, des techniques et des outils pour soutenir la modélisation, la vérification, le débogage et l'analyse de performance des systèmes critiques. 

Le programme scientifique de l'équipe s'articule autour de cinq axes de recherche : modèles et langages, méthodes formelles pour les systèmes distribués, méthodes formelles pour les architectures matérielles, fondements de l'analyse de modèles, logiciels.