Using counters for absence prediction in Esterel

Utilisation de compteurs pour la prediction de l'absence en Esterel

Bernard Paul Serpette (1)

1 INDES - Secure Diffuse Programming

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.

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

Mots clés: synchronous languages; instantaneous reaction to absence; formal proof; continuations

Mots clés: langages synchrones; réaction immédiate à l'absence; interprétation; continuation; preuve formelle

Domaines: Informatique et langage [cs.CL]

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⟩