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

Rémy Wyss (1) , Frédéric Boniol (1, 2) , Julien Forget (3) , Claire Pagetti (2, 1)

1 ONERA - The French Aerospace Lab [Toulouse]
2 ENSEEIHT - Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications
3 DART - Contributions of the Data parallelism to real time

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.

Domaines: Langage de programmation [cs.PL]; Systèmes embarqués

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⟩