De la recherche fondamentale au partenariat industriel

VESONTIO

Équipe VESONTIO

Responsable : Jacques JULLIAND

Objectifs

La compétence spécifique de l'équipe est la combinaison de méthodes (preuve automatique, model-checking, test) pour la vérification et validation à base de modèles, le verrou scientifique étant l'explosion combinatoire de la taille des modèles de systèmes à analyser. Cette activité est menée suivant trois directions : modélisation de systèmes finis de grande taille et de systèmes infinis, vérification et validation automatique à base de modèles, y compris la génération de tests, passage à l'échelle.


Notre équipe a porté des efforts spécifiques sur la modélisation, vérification et validation automatique de systèmes embarqués (ex : cartes à puce et automobile), systèmes à base de composants et de services, ainsi que sur l'étude de la sécurité et de sûreté de systèmes de communication.


Dans le domaine de la vérification et validation à base de modèles, le verrou scientifique est l'explosion combinatoire de la taille des modèles des systèmes à analyser. Compte tenu de l'évolution thématique, en particulier vers les micro-systèmes, de nouveaux défis scientifiques ont été identifiés :

  • Gérer la complexité par construction,
  • Gérer les systèmes hétérogènes à composants,
  • Gérer l'incertitude par adaptation/reconfiguration.

Description

VESONTIO (Vérification et Validation de logiciels et de systèmes embarqués) est le nouveau nom donné depuis 2008 à l'équipe anciennement appelée TFC (Techniques Formelles et à Contraintes).


Une partie de l'équipe VESONTIO est intégrée au projet bi-localisé (Nancy, Besançon) INRIA CASSIS.

Thèmes de recherche

imprimer Haut de page