A Multi-Periodic Synchronous Data-Flow Language

Julien Forget (1) , Frédéric Boniol (1, 2) , David Lesens (3) , Claire Pagetti (1, 2)

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 AST - Astrium Space Transportation

Implementing real-time critical systems is an increas- ingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic systems, implementing multi-periodic systems with these languages is possible but inefficient. As a result, current practice usually consists in writing one program for each different rate and then letting a real-time operating system handle the multi-rate aspects. This can be a source of non-determinism as communications between processes of different rates are not precisely defined. We propose a new language, built upon synchronous data-flow languages, to handle multi-rate systems properly. It has strong formal semantics, which prevents non-deterministic communications, and relies on real-time primitives that enable efficient use of existing multi-periodic schedulers.

Domaines: Systèmes embarqués

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. A Multi-Periodic Synchronous Data-Flow Language. 11th IEEE High Assurance Systems Engineering Symposium, Dec 2008, Nanjing, China. pp.251-260. ⟨hal-00802695⟩