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

Real-Time Ticks for Synchronous Programming

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.
Fichier principal
Vignette du fichier
PID4935757.pdf (287.48 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01575629 , version 1

Cite

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⟩
370 View
588 Download

Share

More