Skip to Main content Skip to Navigation
New interface
Conference papers

Real-Time Ticks for Synchronous Programming

Reinhard von Hanxleden 1 Timothy Bourke 2 Alain Girault 3, 4 
2 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique - ENS Paris, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
4 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Timothy Bourke Connect in order to contact the contributor
Submitted on : Monday, August 21, 2017 - 12:05:31 PM
Last modification on : Wednesday, July 6, 2022 - 4:24:36 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads