Skip to Main content Skip to Navigation
Conference papers

A Multi-Periodic Synchronous Data-Flow Language

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00802695
Contributor : Julien Forget <>
Submitted on : Wednesday, March 20, 2013 - 12:07:55 PM
Last modification on : Tuesday, March 16, 2021 - 3:44:15 PM
Long-term archiving on: : Friday, June 21, 2013 - 4:13:57 AM

File

forgetHASE08.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00802695, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

397

Files downloads

444