De plus en plus de systèmes produits par l'industrie contiennent des dispositifs logiciels complexes assurant des fonctions de contrôle-commande ou de communication dans des environnements plus ou moins prévisibles. Le bon fonctionnement de ces logiciels souvent critiques doit être absolument garanti :
Longtemps confinées au monde académique, les recherches dans ce domaine ont fait preuve de leur pertinence dans le monde industriel. Elles sont sur le point d'être utilisées massivement dans plusieurs domaines industriels (transports terrestres, aéronautique, énergie). Les chercheurs doivent donc être en mesure, dans un délai très court, de proposer aux industriels des techniques et des méthodes adaptées à leurs besoins.
Pour pouvoir répondre de façon satisfaisante à cette demande naissante, les efforts doivent porter sur trois points essentiels :
Les chercheurs ont proposé et étudié plusieurs modèles de systèmes et plusieurs techniques de vérification. Aucun ne peut à lui seul prétendre couvrir tous les aspects d'une application réelle.
L'intégration de ces modèles et de ces techniques, qui est beaucoup plus que leur juxtaposition, demande encore beaucoup de recherches.
Pour être utile, l'offre de techniques issues de la recherche doit être accompagnée de leur ''mode d'emploi''. Cette réflexion méthodologique s'appuie sur des expériences nombreuses conduites en collaboration avec des partenaires industriels.
Il est clair que ces techniques sont inséparables des outils qui les implémentent. Si dans une première phase les outils peuvent se présenter à l'état de maquette pour valider des algorithmes ou des structures de données spécifiques, il est indispensable qu'ils puissent être portés au moins à l'état de prototypes. Ceci dépasse bien entendu le domaine de la recherche pure et rentre en partie dans le cadre du transfert de technologie qu'il faut absolument et rapidement développer dans ce domaine.