Argument :
L’informatique est une jeune discipline. Ses applications ont eu un impact considérable sur l’organisation des sociétés modernes. Des centaines de milliards de composants électroniques intégrant
du logiciel et du matériel sont utilisés pour assurer des services souvent critiques.
La présentation développera les points suivants :
Bref aperçu de l’évolution de l’informatique
Les limites de l’état de l’art actuel en ingénierie des systèmes informatiques
Les grands défis scientifiques et technologiques dans les années qui viennent
Relations de l’informatique avec d’autres disciplines
L’impact des technologies de l’information et de la communication sur nos sociétés
Biographie :
Joseph Sifakis est directeur de recherche de classe exceptionnelle au CNRS, au laboratoire VERIMAG à Grenoble, un laboratoire, dont il est le fondateur, et qui est de renommée internationale dans
le domaine des systèmes embarqués critiques.
Ingénieur électricien de l’Ecole Polytechnique d’Athènes et Docteur d’Etat en Informatique de l’Université de Grenoble, et médaillé d’argent du CNRS en 2001, vient de se voir décerner le Prix
Turing 2007, la plus haute distinction en Informatique, prix prestigieux considéré comme l’équivalent du prix Nobel de ce domaine. Joseph Sifakis, premier Français à obtenir ce prix depuis sa
création, en 1966, est récompensé – ainsi qu’une équipe américaine- pour avoir mis au point le « Model Checking », une technologie de vérification des systèmes complexes, performante et
fiable, aujourd’hui très largement utilisée dans les industries du logiciel et du matériel.
Les travaux innovants de Joseph Sifakis sont déterminants et ont conduit à la création de nouvelles logiques de spécification, à de nouveaux algorithmes de vérification et à des résultats
théoriques exceptionnels. Cette technologie est aujourd’hui utilisée dans l’industrie des circuits intégrés afin de concevoir des systèmes complexes dont on peut garantir la conformité aux
spécifications initiales. L’impact industriel du Model Checking devrait être encore plus significatif dans les années à venir notamment en ce qui concerne la vérification des processeurs
et des systèmes critiques embarqués.
Joseph Sifakis, qui a activement travaillé pour le transfert des résultats de la
recherche vers des partenaires industriels, est le coordinateur scientifique du réseau d’excellence européen « ARTIST2 Embedded Systems Design » qui coordonne la recherche de 35 équipes
européennes afin de développer des résultats théoriques et pratiques pour la conception de systèmes embarqués performants et robustes…
Accès
Ecole Normale Supérieure Lettres et Sciences humaines
15, Parvis René Descartes
BP 7000
69342 Lyon cedex 07
TEL: 04.37.37.60.00
L’Ecole normale supérieure Lettres et Sciences humaines se trouve dans le quartier de Gerland, 7 ème arrondissement de Lyon, près du pont Pasteur, sur la rive gauche du Rhône. Elle se situe à
l’angle de l’avenue Jean Jaurès et de l’avenue Debourg.
- Depuis la station de métro Jean Macé : prendre la ligne B direction Stade de Gerland, jusqu’à la station Debourg.
