Canal-U

Mon compte
Inria

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


Envoyer la page à un ami

Copier le code pour partager la vidéo :
<div style="position:relative;padding-bottom:56.25%;padding-top:10px;height:0;overflow:hidden;"><iframe src="http://canaludev.canal-u.tv/video/inria/embed.1/esterel_et_scade_de_la_recherche_a_l_industrie_la_vision_labo_cycle_de_cours_et_seminaires_du_college_de_france_en_exterieur_1_3.19477?width=100%&amp;height=100%" style="position:absolute;top:0;left:0;width:100%;height: 100%;" width="550" height="306" frameborder="0" allowfullscreen scrolling="no"></iframe></div> Si vous souhaitez partager une séquence, indiquez le début de celle-ci , et copiez le code : h m s
Auteur(s) :
BERRY Gérard

Producteur Canal-U :
Inria
Contacter le contributeur
J’aime
Imprimer
partager facebook twitter Google +

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

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.


  •  
  •  
    Date de réalisation : 15 Janvier 2014
    Durée du programme : 73 min
    Classification Dewey : Génie Logiciel : Langage de programmation en général, Circuits électriques
  •  
    Catégorie : Conférences
    Niveau : niveau Master (LMD), niveau Doctorat (LMD), Recherche
    Disciplines : Informatique
    Collections : Colloquium Jacques Morgenstern : recherches en STIC - nouveaux thèmes scientifiques, nouveaux domaines d’application, et enjeux
    ficheLom : Voir la fiche LOM
  •  
    Auteur(s) : BERRY Gérard
    producteur : INRIA (Institut national de recherche en informatique et automatique) , Région PACA
    Editeur : INRIA (Institut national de recherche en informatique et automatique) , Région PACA , UNS , CNRS - Centre National de la Recherche Scientifique
  •  
    Langue : Français, Anglais
    Mots-clés : synchronisation, systèmes temps-réels
 

commentaires


Ajouter un commentaire Lire les commentaires
*Les champs suivis d’un astérisque sont obligatoires.
Aucun commentaire sur cette vidéo pour le moment (les commentaires font l’objet d’une modération)
 

Dans la même collection

 Number-theoretic methods in quantum computing
 Observations on doing research and on creating sublime user experiences
 Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1/2)
 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
 Urgences scientifiques posées par l'industrie : masquages d'horloges, circuits multi-horloges, ECOs et vérification formelle (cycle de cours et séminaires du collège de France en extérieur) 3/3
 Une fréquence peut-elle être instantanée (cycle de cours et séminaires du collège de France en extérieur)
 Le traitement du temps en automatique (cycle de cours et séminaires du collège de France en extérieur)
 The Changing Nature of Invention in Computer Science
 Un regard géométrique sur l’action anthropomorphique
 Music and Text Generation "in the style of"
 Optimisation et apprentissage
 Scalable personalization infrastructures
 Can it be done in software ?
 Comment passent à l'échelle les systèmes de la nouvelle vague de technologies (Scaling behaviors of systems of the new technology wave)
 Théorie du Contrôle, 50 ans après
 Les mathématiques sont-elles utiles pour explorer le cerveau humain et mieux comprendre son fonctionnement ?
 Quantum Turing Test
 La programmation du Web diffus
 Speculating Seriously in Distributed Computing
 The Frobenius Problem and Its Generalizations
 Approches multiéchelles du cerveau visuel : des échos synaptiques à la perception des formes et du mouvement (série : Colloquium Jacques Morgenstern)
 Seismic tomography : A giiant inverse problem
 Risque, science, et pluralisme
 Sécurité sur Internet ? La logique à la rescousse...
 La parcimonie : une valeur d'avenir ? (série : Colloquium Jacques Morgenstern)
 Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
 Réseaux d'automates: trente ans de recherche
 Action recognition from video: some recent results
 Introduction to Kernelization
 Mathematical models for the cardiovascular system
 Competition and Cooperation
 Graphes, hypergraphes et réseaux (série : Colloquium Jacques Morgenstern)
 Swarms: First Class Citizens in the Future Internet (série : Colloquium Jacques Morgenstern)
 Recent research at Pixar
FMSH
 
Facebook Twitter Google+
Mon Compte