Real-Time Ticks for Synchronous Programming

Reinhard Von Hanxleden 1 Timothy Bourke 2, 3, 4 Alain Girault 5, 6, 7, 8
4 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
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.
Type de document :
Communication dans un congrès
12th Forum on Specification and Design Languages (FDL 2017), Sep 2017, Vérone, Italy. 2017, 〈http://ecsi.org/fdl/fdl-2017-advance-program〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01575629
Contributeur : Timothy Bourke <>
Soumis le : lundi 21 août 2017 - 12:05:31
Dernière modification le : mardi 22 août 2017 - 01:09:44

Fichier

PID4935757.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01575629, version 1

Collections

Citation

Reinhard Von Hanxleden, Timothy Bourke, Alain Girault. Real-Time Ticks for Synchronous Programming. 12th Forum on Specification and Design Languages (FDL 2017), Sep 2017, Vérone, Italy. 2017, 〈http://ecsi.org/fdl/fdl-2017-advance-program〉. 〈hal-01575629〉

Partager

Métriques

Consultations de
la notice

93

Téléchargements du document

16