Un court métrage «docu-fiction» pour découvrir ces grands personnages de l’Informatique et des Sciences du Numérique et partager quelques unes de leurs grandes idées...« Notre monde a changé... Notre monde est devenu numérique, bouleversé par l’arrivée de l’informatique. Il faut comprendre ce monde et non le subir, donc s’approprierles fondements de l’informatique, pas uniquement ses usages, bref : «Il faut piger pourquoi on clique» ... Pour que nous, public, nous nous approprions cette science informatique qui a bouleversé notre monde et l’intégrions dans notre histoire, il faut qu’elle ait des racines, un passé,une histoire, et que nous racontions aussi son histoire, et la racontions comme une histoire. »
Mot(s) clés libre(s) : Ada Lovelace, Al Khwarismi, Alan Turing, Claude Shannon, Grace Hopper, histoire de l'informatique, recherche scientifique, Rose dieng, sciences du numérique

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le cours du 29 janvier nous fera revenir à la science à travers trois problèmes scientifiques durs posés pour Esterel par les utilisateurs industriels et dont la solution était vitale pour eux, ce qui la rendait tout aussi vitale pour Esterel Technologies le traitement de la causalité, difficulté intrinsèque des langages synchrones dont la solution a été trouvée dans une relation surprenante entre logique et électricité, le traitement des circuits multi-horloges maintenant universels en électronique, et enfin le délciat traitement formel des ECO (Engineering Change Order), demandes de corrections de bugs d'un circuit sans toucher à son code source. Ces problèmes sont souvent bien différents de ceux que se posent spontanément les chercheurs, mais tout aussi scientifiques, tout aussi intéressants, et pas moins difficiles. Chaque cours sera suivi d'un séminaire.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels

Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, et maintenant les objets du quotidien, du téléphone au stimulateur cardiaque en passant par tout l'audiovisuel, les jeux, et bien sûr Internet. On assiste en fait à la mise en place d'un nouveau système nerveux logiciel, avec lequel nous sommes sans cesse en contact. Or, le logiciel reste un objet mystérieux pour la plupart des gens. Il est purement immatériel, ne se voit pas, ne pèse rien. Pourtant, il produit des tas d'ennuis allant de l'inconfort des interfaces homme-machine mal conçus aux problèmes de sécurité des réseaux en passant par des crashs catastrophiques de fusées ou de satellites. La qualité du logiciel devient un des points faibles de notre société. Pour les spécialistes, ce n'est pas étonnant. Le logiciel est un objet purement intellectuel d'une très grande complexité, qui ne se laisse pas appréhender pas des approches naïves. Un logiciel est formé de millions d'ordres élémentaires à une machine ultra-rapide et quasi-infaillible mais parfaitement stupide, le microprocesseur. De minuscules erreurs peuvent avoir de grandes conséquences et on ne sait pas encore se protéger. Nous essaierons de mieux faire comprendre la nature profonde de l'objet logiciel, et nous présenterons les approches scientifiques modernes qui permettront de construire des logiciels plus sûrs et d'en assurer la correction.
Mot(s) clés libre(s) : algorithmique, bug, circuit intégré, langage de programmation, logiciel informatique, microélectronique, microprocesseur

L'informatique est partout, c'est devenu banal de le dire, mais qu'entend-on vraiment par là ? Comprend-on bien que le numérique, aujourd'hui, loin de se cantonner aux ordinateurs, est bien plus répandu dans les objets technologiques les plus divers, des téléphones aux avions ? Quelles en sont les implications, les qualités mais aussi les inconvénients, à commencer par les bugs ? En accord avec la devise du Collège de France, « enseigner la recherche en train de se faire », Gérard Berry présente une vision de l'informatique au sens large axée sur ses fondements scientifiques, et oriente sa présentation sur son travail au sein des lycées.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010.
Mot(s) clés libre(s) : algorithme, bug, enseignement de l’informatique, numérisation de l'information, programmation, réseaux, révolution numérique, science informatique, sciences numériques

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014.  Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le cours du 22 janvier 2014 présentera les points de vue du fournisseur et des clients industriels, selon mon expérience personnelle en tant que directeur scientifique de la société Esterel technologies. J'y insisterai sur l'ensemble des rouages nécessaires pour qu'une bonne idée se transforme en produits utilisable pour des développements industriels chez des clients standards, où le pragmatisme technologique l'emporte quasiment toujours sur la vision scientifique. J'illustrerai par l'exemple un des problèmes majeurs, bien exprimé dans le fameux livre "Crossing the Chasm" de Geoffrey A. Moore : les arguments techniques valables pour les industriels visionnaires, et donc promus par les chercheurs, ne le sont en général pas du tout pour les pragmatiques qui forment le gros des troupes. De plus, l'introduction de nouveaux langages et de nouvelles méthodes de programmation est mal perçue par ceux qui n'en voient pas immédiatement les avantages et craignent pour la continuité de leur chaîne d'outils. J'expliquerai pourquoi et comment SCADE a réussi à passer ce fossé pour les logiciels de haute sécurité en avionique, ferroviaire, industrie lourde, etc., en se présentant comme une amélioration sensible des modèles de programmation existants plutôt que comme une façon de faire radicalement nouvelle. De plus, développée dès les débuts industriels de SCADE, la certifiabilité de son compilateur pour les normes avioniques les plus sévères a joué un rôle clef pour son adoption.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le premier cours présentera l'aventure selon le point de vue des laboratoires de recherche, en se focalisant sur Esterel et Lustre / SCADE. J'y illustrerai les développements successifs de la théorie et des réalisations logicielles qui ont permis de passer à travers une succession d'étapes scientifiques des idées initiales aux langages et systèmes finaux. Je montrerai les nombreux avantages apportés par la collaboration industrielle, en particulier par la fourniture d'exemples d'un ordre de grandeur plus grands et plus complexes que ceux qu'imaginent les chercheurs. Mais je discuterai aussi des contraintes associées : la nécessité pour les industriels de disposer d'une chaîne de développement sans maillon faible, ce qui oblige les chercheurs à traiter des points pas toujours excitants pour eux ; la nécessité pour les partenaires et clients industriels d'avoir des produits stables au cours du temps, ce qui les rend méfiants vis-à-vis des avancées scientifiques imprévues en cours de projet.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels