Conférence de Bruno Pagano organisée par le département d’informatique.
Scade 6: Conception d'un langage de programmation synchrone et réalisation de son compilateur pour les systèmes embarqués critiques
Dans le contexte des systèmes embarqués critiques, l'objectif principal du logiciel n'est pas d'effectuer des calculs extrêmement longs et complexes à partir d'une donnée qui lui est fournie initialement, mais de réagir de façon sure et déterministe aux évènements externes qui lui sont communiqués de manière régulière tout au long de son exécution. La réalisation de tels logiciels peut se faire en utilisant des langages de programmation dédiés dont la conception et les techniques de compilation sont un sujet de recherche actif depuis une trentaine d'années. Les langages de programmation synchrones, comme Esterel ou Lustre, ont prouvé leur utilité dans la réalisation des systèmes réactifs. Après une introduction aux principes des langages synchrones, cet exposé présen tera à travers le langage de programmation Scade 6 (dialecte de Lustre) les travaux de recherche d'Esterel Technologies sur la réalisation et la compilation d'un langage textuel et graphique. Nous évoquerons les mécanismes particuliers à Scade qui ont été introduit ainsi qu'un travail en cours sur l'utilisation de Scade pour la simulation de systèmes physiques.
Catégories: Séminaire général du département d'informatique
Mot-clés : Langage, logiciel, modélisation, programmation, langages de programmation synchrones
Voir aussi
|
|
Esterel Technologies
Ingénieur en informatique
Plus sur cet auteur
Voir la fiche de l'auteur
Cursus :
Bruno Pagano est directeur scientifique chez Esterel Technologies.
Cliquer ICI pour fermerDernière mise à jour : 02/02/2016
Tous droits réservés
@ 2011 ENS