L'équipe VASY (4 chercheurs INRIA) est une équipe INRIA créée en 2000 et répartie entre les sites de Lyon et Grenoble. Elle s'intéresse à la validation des systèmes asynchrones décrits par des processus asynchrones s'exécutant en parallèle. Elle met en oeuvre des outils de vérification fondés sur des techniques de vérification énumérative.
Le point fort de l'équipe est la réalisation d'outils de vérification robustes, efficaces et conviviaux en appui à leurs contributions scientifiques. Cela inclut la prise en compte d'un langage d'entrée (LOTOS étendu avec données) et des algorithmes visant à la maîtrise de l'explosion des états (techniques à la volée, algorithmes parallèles, etc.). Chaque contribution donne lieu à un outil dédié (TRAIAN, BISIMULATOR, CAESAR_SOLVE, EVALUATOR, EXP.OPEN 2.0, etc.). La qualité, quantité et notoriété des outils réalisés sont vraiment impressionnants et s'appuient sur des contributions scientifiques significatives.
L'équipe contribue évidemment à la thématique "logiciel" du LIG et pourra être amenée à coopérer avec VAS[CO] et SARDES. Il s'agit d'une équipe jeune déjà mature et avec une forte production scientifique.
La seule faiblesse est l'absence de doctorants, alors qu'il y a manifestement un fort potentiel d'encadrement.
L'équipe souhaite poursuivre dans la continuité des travaux déjà entrepris : prise en compte de langages d'entrées appropriés pour les systèmes considérés, maîtrise de l'explosion combinatoire (parallélisation, vérification compositionnelle, etc.), propriétés décrites avec la logique temporelle avec des données, enrichissement de la boîte à outils de vérification. La démarche est tout à fait convaincante et prometteuse. Les études poursuivies par l'équipe VASY présentent de nombreux intérêts en ce qui concerne leur utilisation dans de futurs produits industriels soit de l'industrie électronique/microélectronique ou bien des fournisseurs de solutions EDA. Il semble opportun que cette équipe poursuive voire développe ses activités avec des industriels des domaines précités.
Back to the VASY Home Page