A synchronous language with partial delay specification for real-time systems programming

Abstract : High-level formal programming languages require system designers to provide a very precise description of the system during early development phases, which may in some cases lead to arbitrary choices (i.e. the designer "overspecifies" the system). In this paper, we propose an extension of synchronous dataflow languages where the designer can specify that he does not care whether some communication is immediate or delayed. It is then up to the compiler to choose where to introduce delays, in a way that breaks causality cycles and satisfies latency requirements imposed on the system.
Liste complète des métadonnées

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00800975
Contributor : Julien Forget <>
Submitted on : Thursday, March 14, 2013 - 5:32:57 PM
Last modification on : Friday, April 12, 2019 - 4:23:11 PM
Document(s) archivé(s) le : Monday, June 17, 2013 - 12:47:31 PM

File

wyss12-APLAS.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00800975, version 1

Citation

Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. A synchronous language with partial delay specification for real-time systems programming. 10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238. ⟨hal-00800975⟩

Share

Metrics

Record views

481

Files downloads

231