Using counters for absence prediction in Esterel

Bernard Paul Serpette 1
1 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Esterel est un langage synchrone historiquement défini pour les systèmes de contrôle, particulièrement adapté pour réagir en parallèle à des événements externes, utilisé intensivement dans l'avionique. Recemment, avec l'arrivée du langage d'orchestration HipHop, un sous-langage dédié de Hop, l'approche Esterel est utilisée pour synchroniser des requêtes Web. Dans ce contexte, où les programmes d'orchestrationsont générés dynamiquement, les longs préambules de compilation sont à éviter et l'utilisation d'interprêtes simples et rapides devient souhaitable. Cet article présente un tel interprête. Les processus Esterel commu niquent au travers de signaux et l'une des particularités de ce langage est sa capacité de réagir instantanément à l'absence d'un signal. Dans cet article, nous présentons une analyse statique qui permet à l'interprête de prédire l'absence d'un signal
Type de document :
Rapport
[Research Report] RR-8941, INRIA Sophia Antipolis - Méditerranée. 2016, pp.18
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01226760
Contributeur : Bernard Serpette <>
Soumis le : mardi 2 août 2016 - 10:29:08
Dernière modification le : jeudi 11 janvier 2018 - 16:48:46

Fichier

RR-8941.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01226760, version 3

Collections

Citation

Bernard Paul Serpette. Using counters for absence prediction in Esterel. [Research Report] RR-8941, INRIA Sophia Antipolis - Méditerranée. 2016, pp.18. 〈hal-01226760v3〉

Partager

Métriques

Consultations de la notice

98

Téléchargements de fichiers

52