Hisseo vise à réunir des chercheurs dont les spécialités sont soit la compilation (Gallium, INRIA Paris - Rocquencourt.), soit l'analyse statique de programmes (ProVal et CEA LIST). Son objectif est de combler un vide existant au niveau de l'analyse de codes utilisant des calculs en virgule flottante. Les applications visées sont de type programmes embarqués, requérant un très haut niveau de confiance, dans les domaines de l'avionique, le nucléaire, l'automobile, etc. La sémantique précise définie par la norme IEEE754 n'est pas respectée en détail par les compilateurs. Pour cette raison il est difficile d'avoir une confiance absolue dans les résultats d'analyses faites au niveau du code source. Les directions de recherche proposées s'appuient soit sur la définition d'une sémantique formelle de la compilation des calculs flottants, soit sur l'analyse de l'assembleur généré par la compilation, dans lequel les choix pouvant s'écarter de la norme sont explicités.
