Real-Time Ticks for Synchronous Programming - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Real-Time Ticks for Synchronous Programming

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01575629 , version 1

Citer

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⟩
359 Consultations
540 Téléchargements

Partager

Gmail Facebook X LinkedIn More