Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

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 : Tuesday, September 8, 2020 - 9:30:03 AM
Long-term archiving on: : 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

572

Files downloads

457