Tri :
Date
Editeur
Auteur
Titre
|
|
Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminaires du collège de France en extérieur) 2/3
/ Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique)
/ 22-01-2014
/ Canal-u.fr
BERRY Gérard
Voir le résumé
Voir le résumé
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
|
Accéder à la ressource
|
|
Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3
/ Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique)
/ 15-01-2014
/ Canal-u.fr
BERRY Gérard
Voir le résumé
Voir le résumé
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
|
Accéder à la ressource
|
|
Graphes, hypergraphes et réseaux (série : Colloquium Jacques Morgenstern)
/ VSP - Vidéo Sud Production, Région PACA, INRIA, Université de Nice Sophia Antipolis, CNRS - Centre National de la Recherche Scientifique
/ 12-05-2011
/ Canal-U - OAI Archive
BERMOND Jean-Claude
Voir le résumé
Voir le résumé
Le but de la conférence est d'exposer des problèmes simples de conception de réseaux qui m'ont intrigués pendant de nombreuses années et continuent de m'intriguer. Les réseaux de télécommunications mais aussi les réseaux routiers ou sociaux se modélisent bien avec des graphes. Les sommets représentent les routeurs (abonnés, villes, individus...) et les arêtes des liaisons ou des relations. Je partirai d'un problème simple à énoncer mais difficile à résoudre : comment construire des réseaux (graphes) de degré et de diamètre donnés. J'essaierai de montrer l'imagination débordante dans les outils utilisés (géométries finies, graphes probabilistes, groupes, constructions récursives, constructions sur alphabets, arithmétique, opérations de graphes, configurations...) et comment utiliser cela pour un tour de cartes. Je parlerai aussi s'il reste du temps de l'extension aux hypergraphes (réseaux par bus ou groupes) où quasiment tout reste à trouver. Mot(s) clés libre(s) : graphe, hypergraphe, modélisation réseaux, problème delta-d, réseau routier, réseau social, théorie des graphes
|
Accéder à la ressource
|
|
Programmer une conversion analogique-numérique
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Astoux Aurélien
Voir le résumé
Voir le résumé
Permet de s'initier à la recherche dichotomique dans un cas concret. Mot(s) clés libre(s) : proglet, dichotomie, recherche dichotomique, convertisseur analogique-numérique
|
Accéder à la ressource
|
|
TP de Maths en C sur la résolution des équations du second degré à coefficients complexes
/ IUT en ligne, Unisciel
/ 2008
/ Unisciel
Arrou-Vignod Martine
Voir le résumé
Voir le résumé
L'objectif principal de ce TP est de faire un programme en C++ permettant de résoudre une équation du second degré à coefficients complexes.Les autres objectifs de ce TP sont de mettre en application les connaissances mathématiques, faire le lien-mathématiques-informatique. Mot(s) clés libre(s) : nombres complexes, C++
|
Accéder à la ressource
|
|
Synthe Sons: Manipuler un signal sonore
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Voir le résumé
Voir le résumé
Permet de programmer la génération d'un ou d'une mélodie. Mot(s) clés libre(s) : proglet, signal sonore, son
|
Accéder à la ressource
|
|
Programmer avec la tortue Logo
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Voir le résumé
Voir le résumé
Utiliser la métaphore d'une tortue dans un carré de jardin avec un pinceau pour découvrir les algorithmes. Mot(s) clés libre(s) : proglet, tortue logo, algorithme
|
Accéder à la ressource
|
|
Java Prog
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Voir le résumé
Voir le résumé
Permet d'utiliser la plateforme JavaScool pour programmer directement en jav Mot(s) clés libre(s) : proglet, java, programmation java
|
Accéder à la ressource
|
|
Dichotomie: Programmer une recherche dichotomique
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Voir le résumé
Voir le résumé
Permet de s'initier à l'abstraction algorithmique la plus simple: la recherche dichotomique sur trois objets numériques. Mot(s) clés libre(s) : proglet, algorithmique, algorithme, dichotomie, recherche dichotomique
|
Accéder à la ressource
|
|
Codage pixel: comprendre une manipulation d'image
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Voir le résumé
Voir le résumé
Permet de s'initier au codage pixelique des images et aux calculs de bases sur une image. Mot(s) clés libre(s) : proglet, manipulation d'images, codage pixelique
|
Accéder à la ressource
|
|