Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
Dumitru Potop‐Butucaru, Akramul Azim, Sebastian Fischmeister · 2010
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.