
Sommaire
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
Date de création :
15.01.2014Auteur(s) :
Gérard BERRYPrésentation
Informations pratiques
Droits réservés à l'éditeur et aux auteurs.
Description de la ressource
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.
"Domaine(s)" et indice(s) Dewey
- Génie Logiciel : Langage de programmation en général (005.13)
- Circuits électriques (621.3192)
Domaine(s)
- Informatique
- Programmation : Algorithmique, langages, conception objet, programmes
- Informatique
- Production, transport et distribution de l'énergie électrique
- Outils, méthodes, techniques et applications
Intervenants, édition et diffusion
Intervenants
Édition
- INRIA (Institut national de recherche en informatique et automatique)
- Région PACA
Diffusion
Document(s) annexe(s)
Fiche technique
- LOMv1.0
- LOMFRv1.0
- Voir la fiche XML