Using counters for absence prediction in Esterel - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2016

Using counters for absence prediction in Esterel

Résumé

Esterel is a synchronous programming language historically defined for system control, well suited to react in parallel to external sensors, intensively used in avionics. Recently, with the incoming of the orchestration language HipHop, a domain-specific language of the multi-tier language Hop, Esterel is used to manage Web requests. In this context, where orchestration programs are dynamically generated, long compilation preamble to computation must be avoided and a simple and fast interpreter is preferred. This paper presents such an interpreter. Esterel's processes communicates through signals and one particularity of this language is its ability to instantaneously react to the absence of a signal. In this paper we present a static analysis which allows the interpreter to predict the absence of a signal.
Fichier principal
Vignette du fichier
RR-8941.pdf (705.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01226760 , version 1 (13-11-2015)
hal-01226760 , version 2 (27-07-2016)
hal-01226760 , version 3 (02-08-2016)

Identifiants

  • HAL Id : hal-01226760 , version 2

Citer

Bernard Paul Serpette. Using counters for absence prediction in Esterel. [Research Report] RR-8941, INRIA Sophia Antipolis - Méditerranée. 2016, pp.18. ⟨hal-01226760v2⟩
116 Consultations
117 Téléchargements

Partager

Gmail Facebook X LinkedIn More