|
NOUS AVONS VU L'informatisation des objets, ou l'invasion des pucerons 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.
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. 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 oeuvre 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. La présentation de 33 minutes en XML/SMIL : les transparents synchronisés avec la vidéo de l'orateur. ___________________
|
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 ?