Langages réactifs MT08 FR
From wikitin
Titre du mémoire: MT08_Titre_FR/EN
Nom de l'étudiant: POULMARCH FIGIEL
Prénom de l'étudiant: Flora
Contents |
Résumé
Les langages réactifs ont été développés pour la programmation de systèmes réactifs. Ce type de système généralement critique nécessite de respecter des contraintes de déterminisme, temporelles et de sûreté. Même s’il existe un langage asynchrone, il reste qu’au stade expérimental et sa fiabilité reste encore à prouver. Les langages synchrones sont les plus utilisés dans ce domaine. Ces langages se basent sur l’hypothèse synchrone qui est une simplification de la réalité qui suppose que la durée logique des réactions est nulle. Les premiers langages synchrones réactifs furent les langages Esterel, Lustre et Signal qui ont permis par la suite de développer des langages hybrides combinant les capacités réactives de ces langages avec les particularités des langages objets, tel que la transportabilité du langage Java. La vérification de ces langages avant compilation reste une partie fondamentale, généralement directement exécutée par les environnements de développement, garantissant le déterminisme et la sûreté des programmes. Les langages synchrones ne peuvent pas être compilé directement, on passe donc par la compilation dans un langage hôte, tel que le C généralement utilisé pour le langage Esterel, permettant l’utilisation de structures plus complexes.
Mots clés
Langages réactifs, langages synchrones réactifs, Esterel, Lustre
Technologies concernées
Systèmes réactifs
Eléments de démonstration
Illustration
Bibliographie
A reflex programming game in Esterel v3, G. Berry// Analyse et vérification automatique de langages synchrones, Robert de Simone// Approche synchrone, le langage Esterel, Françoise Simonot // Comparaison des styles de programmation de langages synchrones, Charles André, 2005 // Compilation certifiée de Scade – Lustre , Marc Pouzet // Conception de systèmes réactifs, L. Zaffalon et P. Breguet // Cours de programmation en langage synchrone SIGNAL, Bernard Houssais // Esterel Studio Manual Guide // Esterel, un langage synchrone pour décrire des systèmes réactifs, Nadine Richard // Etude d’une réalisation mixte d’un système temps réel, C. André et Luc Fancelli // Etude d’une réalisation mixte d’un système temps réel, Charles André et Luc Fancelli // Expérience Industrielle dans le développement de systèmes temps réel (lustre), AirBus // Extension du langage Lustre, Julien Forget // Foundations of Esterel, Gérard Berry // Gatel, Bruno Marre // Génération de code, Pascal Raymond, Verimag-CNRS // Génération de séquences de tests à partir de LUSTRE : GATeL, Bruno Marre // Guide méthodologique de conception et de validation de systèmes réactifs, Edoardo Basilico // Incremental Development of an HDLC Protocol in ESTEREL, G. Berry // Introduction à l’informatique temps réel, Shebli Anvar, 2005 // Introduction aux langages synchrones, M. Lemaître, 2007 // Langage et architecture pour le temps réel, F. Touchard // Langages et architectures pour le temps réel, François Touchard // Langages pour le temps réel, F. Touchard // Langages synchrones avec horloges périodiques, Bertails Alexandre // Langages synchrones avec horloges périodiques, Bertails Alexandre // Langages Synchrones, Charles André // Larissa, un langage d’aspects pour le développement des systèmes réactifs sûrs, K. Altisen, F. Maraninchi, D. Stauch // Le générateur de code Lustre V3, Pascal Raymond // Le langage Esterel, Frank Singhoff // Le langage Esterel, Pascal Raymond, Verimag-CNRS // Le langage Lustre, Pascal Raymond, Verimag-CNRS // Le langage synchrone Esterel, Alain Girault // Les langages d’implémentation, F. Touchard // Les logiciels se plient à l’épreuve des preuves, JF. Peyrucat // Les SugarCubes, Frédéric Boussinot et JF. Susini // Lucid Synchrone, Marc Pouzet // Méthodes de simulation logicielle pour Esterel, Dumitru Potop-Butucaru // Méthodes de simulation logicielle pour Esterel, Dumitru Potop-Butucaru // Méthodologie et langages synchrones, C. André, MA. Peraldi-Frati,JP. Rigault // Modèles et Langages Synchrones, G. Vidal-Naquet // Modélisation de systèmes réactifs par une approche graphique synchrone : SyncCharts, Charles André // Noyau et exécutif temps réel, F. Touchard // Ordonnancement temps réel, F. Touchard // Panorama des systèmes embarqués, Gérard Berry // Programmation réactive synchrone, Frédéric Dabrowski // Programmation synchrone fonctionnelle, Marc Prouzet // Reactive ML, un langage fonctionnel pour la programmation réactive, L. Mandel et Marc Pouzet // Representation and Analysis of Reactive Behaviors, Charles André // Software Development Process for Real-Time Embedded Software Systems, Luigi Lavazza // SyncCharts, un modèle graphique synchrone pour des systèmes réactifs complexes, Charles André // Systèmes et Langages réactifs synchrones, Nadine Richard // TD esterel, F. Touchard // The Esterel Synchronous Programming Language, G. Berry // The Esterel v5 langage Primer, G. Berry // The foundations of Esterel, G. Plotkin , C. Stirling et M. Tofte // TP Esterel, Jérôme Hugues // Un exemple de langage synchrone, le langage Esterel, Frank Singhoff // Vérification avec Lustre/Lesar, Pascal Raymond //
