Précédent : Métalido et commande robuste des Remonter : Actions de recherche Suivant : Commande des systèmes

Génie

Participants : François Delebecque, Claude Gomez, Maurice Goursat Dans le cadre du thème 1 (conception de logiciels critiques) du projet Génie (collaboration entre Dassault-Aviation, l'Inria et les sociétés de technologie de l'Inria), le groupe de travail pluridisciplinaire mis en place l'année dernière a continué à se réunir régulièrement jusqu'à la fin Juin.

Le principal problème posé était celui de la faisabilité de la preuve en automatique en utilisant des outils comme Coq. Une étude de cas a été réalisée en prenant l'exemple simple (glissement non linéaire) d'une roue freinée en anti-patinage. La conclusion a été qu'en l'état actuel des connaissances, il semble très difficile d'utiliser symboliquement avec une machine les résultats mathématiques dans le domaine, surtout dans le cas le cas non linéaire où interviennent des changements de modèles que l'on détecte en général numériquement.

Cela a donné lieu à la rédaction d'un document fourni à Dassault-Aviation ([40] ).