Emois Nancy 2009 : évaluation, management, organisation, information, santé, stratégie, V11, confidentialité...Accès au dossier patient dans les établissements de santé : quelles habilitations pour conjuguer accès à l'information requise et respect de la confidentialité ?D. Blanc, S. Roesch, M. Vallas, A. Strady, E. VidalSCD Médecine.
Mot(s) clés libre(s) : confidentialité, dossier médical informatisé, EMOIS Nancy 2009, secret médical, SIH

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

Dans cet exposé Hamdi Ben Abdallah, témoigne d'abord de la façon dont l'enseignement de l'informatique a été introduit il y a plus de dix ans en Tunisie, pour devenir une spécialité du baccalauréat. Fort de cette expérience, il propose ensuite une séquence pédagogique complète sur la programmation des tableaux, en détaillant les aspects didactiques et pédagogiques d'une telle activité.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) : enseignement de l'informatique, informatique au lycée, programmation, science informatique, sciences numériques, Tunisie

La présentation par Adrien BARBIER d'un outil d'auto-information pour l'éducation thérapeutique du patient.Ce projet a été primé lors du colloque FORMA TIC Santé 2008, dans le cadre du thème suivant : "Les usages des TIC dans l'éducation pour la santé, l'information et l'éducation thérapeutique".SCD Médecine.
Mot(s) clés libre(s) : auto-information, éducation thérapeutique, FORMA TIC Santé Nîmes, pédagogie, réseau, site internet

HIT Paris 2009 - Le décret " Confidentialité " du 15 mai 2007 rend obligatoire le respect de référentiels, définis par arrêté ministériel, décrivant les règles de sécurité et de confidentialité destinées à garantir le secret médical. Ces règles concernent notamment les dispositifs d'identification et d'habilitation des professionnels, ainsi que les procédures de traçabilité des accès aux informations médicales nominatives.La sécurité des SIH dans le cadre de la mise en oeuvre du décret confidentialité. Déploiement de la CPS par le Centre hospitalier Henri Ey (Bonneval), Fabien Aumenier, Responsable Informatique SCD Médecine.
Mot(s) clés libre(s) : carte de professionnel de santé, confidentialité, CPS, DMP, dossier médical partagé, HIT Paris 2009, information, référentiels, sécurité, technologie

Dans cet exposé, Daniel Augot, aborde à partir du petit jeu Marienbad et la fonction "ou exclusif", les mécanismes algébriques et algorithmiques qui fondent les mécanismes de chiffrage et de codage utilisés en informatique. Plus précisément, les nimbers (ou nombres de Grundy) sont définis pour formaliser ces éléments, ils constituent une belle structure algébrique de corps commutatif infini de caractéristique deux. Leurs applications au codage pour transmettre un signal dans un canal, à la stéganographie (insertion de messages dans une image ou un objet numérique) et au chiffrement par flot sont détaillées.Ce cours a été donné en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une heure et demi de cours et d'un quart d'heure de questions-réponses sur le cours.
Mot(s) clés libre(s) : algorithme, chiffrement, clé, codage, code correcteur, code de Hamming, cryptographie, fonction OU exclusif, stéganographie, XOR