Sciweavers

Share
EMSOFT
2010
Springer

Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures

11 years 7 months ago
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
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 which are abstracted away in the scheduling model of SynDEx). Existing tools can convert the resulting Network Code programs in...
Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fi
Added 11 Feb 2011
Updated 11 Feb 2011
Type Journal
Year 2010
Where EMSOFT
Authors Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister
Comments (0)
books