Real-Time Ticks for Synchronous Programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Real-Time Ticks for Synchronous Programming


We address the problem of synchronous programs that cannot be easily executed in a classical time-triggered or event-triggered execution loop. We propose a novel approach, referred to as dynamic ticks, that reconciles the semantic timing abstraction of the synchronous approach with the desire to give the application fine-grained control over its real-time behavior. The main idea is to allow the application to dynamically specify its own wake-up times rather than ceding their control to the environment. As we illustrate in this paper, synchronous languages such as Esterel are already well equipped for this; no language extensions are needed. All that is required is a rather minor adjustment of the way the tick function is called.
Fichier principal
Vignette du fichier
PID4935757.pdf (287.48 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01575629 , version 1 (21-08-2017)


  • HAL Id : hal-01575629 , version 1


Reinhard von Hanxleden, Timothy Bourke, Alain Girault. Real-Time Ticks for Synchronous Programming. FDL 2017 - 12th Forum on Specification and Design Languages, Electronic Chips & System Design Initiative (ECSI), Sep 2017, Vérone, Italy. ⟨hal-01575629⟩
349 View
503 Download


Gmail Facebook X LinkedIn More