Découvrir

L’informatisation des objets, ou l’invasion des pucerons

L'invasion des pucerons... cette image souligne la miniaturisation des systèmes informatiques embarqués, qui envahissent tous les pans de l'industrie, depuis l'avionique jusqu'aux objets de la vie courante. Mais doit-on pour autant redouter cette évolution technologique ?

Garantir la qualité et la fiabilité de ces systèmes informatiques embarqués est un enjeu majeur, c'est pourquoi des technologies spécifiques de programmation et de vérification de ces systèmes ont été mises au point.

acces au film

Dans cette conférence, Gérard Berry décrit tout d'abord l'évolution technologique qui conduit à l'informatisation des objets, et donne des exemples d'applications particulièrement critiques. Il souligne la spécificité de la technologie mise en œuvre dans les systèmes embarqués, où logiciel et matériel sont intimement liés. Il évoque ensuite le bug, ennemi numéro un de la programmation, qui rend nécessaire un haut niveau de spécification et de vérification des programmes. À travers l'exemple du fonctionnement de l'ascenseur, il montre comment ces principes peuvent être mis en pratique. En conclusion, il récapitule les grands enjeux de ce domaine, avant de répondre à quelques questions de l'auditoire.

Cette conférence de Gérard Berry a été donnée le 31 mai 2006 à l'occasion des journées de l'Académie des sciences à Sophia Antipolis.

Visionner la vidéo (Durée : 33 minutes).

Niveau de lecture

Aidez-nous à évaluer le niveau de lecture de ce document.

Il vous semble :

Si vous souhaitez expliquer votre choix, vous pouvez ajouter un commentaire (qui ne sera pas publié).