HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

# Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures

1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connects the SynDEx scheduling tool and the Network Code toolchain in a seamless flow of automatic model transformations that go all the way from specification to implementation. Our contribution is the non-trivial connection between the models manipulated by SynDEx and by the Network Code toolchain, at both formal and tool level. We provide an algorithm for converting the data-dependent schedule tables output by SynDEx into Network Code programs which can be seen as an assembly code'' level for time-driven distributed real-time systems. The main difficulty is to ensure the preservation of both functionality and the real-time guarantees computed by SynDEx in the presence of clock drifts (which are abstracted away in the scheduling model of SynDEx). Existing tools can convert the resulting Network Code programs into software and hardware-accelerated execution units.
Document type :
Conference papers
Domain :

Cited literature [27 references]

https://hal.inria.fr/inria-00544665
Contributor : Dumitru Potop-Butucaru Connect in order to contact the contributor
Submitted on : Wednesday, December 8, 2010 - 4:10:38 PM
Last modification on : Friday, January 21, 2022 - 3:15:54 AM
Long-term archiving on: : Monday, November 5, 2012 - 12:40:38 PM

### File

final-version.pdf
Files produced by the author(s)

### Citation

Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister. Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures. International Conference on Embedded Software (EMSOFT), Oct 2010, Scottsdale, AZ, United States. pp.199-208, ⟨10.1145/1879021.1879048⟩. ⟨inria-00544665⟩

Record views