Events

26 September 2008

Vendredi 26 septembre, 13h
Unithé, batiment I
Un petit bogue, un grand boum !
Jean-Jacques Lévy
INRIA

Le monde moderne nous a habitué aux pannes informatiques. L’erreur logicielle la plus connue a provoqué l’explosion de la fusée Ariane 5 lors de son premier vol en 1996. Cette fusée était une des premières à faire autant de place à l’informatique embarquée.

L’informatique n’est pas la physique. Les solutions approchées n’y existent pas. Tout doit être correct jusqu’au moindre détail. Le plus petit bogue peut provoquer la faillite d’un gros système ou l’explosion d’une fusée d’un milliard de francs.

En appliquant de simples méthodes d’analyse statique de programmes, il a été possible d’aider très rapidement à la réparation du code embarqué sur Ariane 5.

La fiabilité des programmes est toujours en 2008 un domaine de recherche très actif.

mots clés: fiabilité, programmation, logiciel, informatique embarquée, programmation concurrente
[cet exposé est supposé compréhensible de tout le personnel de l’INRIA Saclay]