Real-Time Ticks for Synchronous Programming
| Autor: | Timothy Bourke, Alain Girault, Reinhard von Hanxleden |
|---|---|
| Přispěvatelé: | Department of Computer Science [Kiel], Christian-Albrechts-Universität zu Kiel (CAU), Parallélisme de Kahn Synchrone ( Parkas), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Département d'informatique - ENS Paris (DI-ENS), Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), German Science Foundation, as part of the Precision-Timed Synchronous Reactive Processing project (PRETSY2,DFG HA 4407/6-2), Electronic Chips & System Design Initiative (ECSI), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL) |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
0209 industrial biotechnology
Computer science Semantics (computer science) Synchronous Languages media_common.quotation_subject Physical Time 02 engineering and technology computer.software_genre Reactive Systems Electronic mail Instruction set 020901 industrial engineering & automation 0202 electrical engineering electronic engineering information engineering Real-Time Systems Function (engineering) Reactive system computer.programming_language media_common Abstraction (linguistics) [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] Programming language [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 020202 computer hardware & architecture Esterel [INFO.INFO-ES]Computer Science [cs]/Embedded Systems Synchronous motor computer |
| Zdroj: | FDL 2017-12th Forum on Specification and Design Languages FDL 2017-12th Forum on Specification and Design Languages, Electronic Chips & System Design Initiative (ECSI), Sep 2017, Vérone, Italy FDL |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|