C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Burguiere et al., Predictability Considerations in the Design of Multi-Core Embedded Systems, Proceedings of Embedded Real Time Software and Systems, pp.36-42, 2010.

M. Paolieri and R. Mariani, Towards functional-safe timing-dependable real-time architectures, 2011 IEEE 17th International On-Line Testing Symposium, pp.31-36, 2011.
DOI : 10.1109/IOLTS.2011.5993807

E. A. Lee, The Problem with Threads, Computer, vol.39, issue.5, pp.33-42, 2006.
DOI : 10.1109/MC.2006.180

C. E. Mcdowell and D. P. Helmbold, Debugging concurrent programs, ACM Computing Surveys, vol.21, issue.4, pp.593-622, 1989.
DOI : 10.1145/76894.76897

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The Synchronous Languages 12

A. Girault, A Survey of Automatic Distribution Method for Synchronous Programs, International Workshop on Synchronous Languages, Applications and Programs, SLAP'05, 2005.

L. Ju, B. K. Huynh, A. Roychoudhury, and S. Chakraborty, Timing analysis of esterel programs on general-purpose multiprocessors, Proceedings of the 47th Design Automation Conference on, DAC '10, pp.48-51, 2010.
DOI : 10.1145/1837274.1837288

S. Yuan, L. H. Yoong, and P. S. Roop, Compiling Esterel for Multi-core Execution, 2011 14th Euromicro Conference on Digital System Design, pp.727-735, 2011.
DOI : 10.1109/DSD.2011.97

D. Baudisch, J. Brandt, and K. Schneider, Multithreaded code from synchronous programs: Extracting independent threads for OpenMP, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), pp.949-952, 2010.
DOI : 10.1109/DATE.2010.5456915

D. Potop-butucaru, A. Azim, and S. Fischmeister, Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.199-208, 2010.
DOI : 10.1145/1879021.1879048
URL : https://hal.archives-ouvertes.fr/inria-00544665

P. S. Roop, S. Andalam, R. Von-hanxleden, S. Yuan, and C. Traulsen, Tight WCRT analysis of synchronous C programs, Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems, CASES '09, pp.205-214, 2009.
DOI : 10.1145/1629395.1629424

R. Von-hanxleden, SyncCharts in C -A Proposal for Light-Weight, Deterministic Concurrency, Proceedings of the International Conference on Embedded Software (EM- SOFT'09), pp.225-234, 2009.

M. Boldt, C. Traulsen, and R. Von-hanxleden, Worst Case Reaction Time Analysis of Concurrent Reactive Programs, Electronic Notes in Theoretical Computer Science, vol.203, issue.4, 2008.
DOI : 10.1016/j.entcs.2008.05.011

M. Kuo, R. Sinha, and P. Roop, Efficient WCRT analysis of synchronous programs using reachability, Proceedings of the 48th Design Automation Conference on, DAC '11, pp.480-485, 2011.
DOI : 10.1145/2024724.2024837

L. Ju, B. K. Huynh, S. Chakraborty, and A. Roychoudhury, Context-sensitive timing analysis of Esterel programs, Proceedings of the 46th Annual Design Automation Conference on ZZZ, DAC '09, pp.870-873, 2009.
DOI : 10.1145/1629911.1630132

M. Schoeberl, Time-Predictable Computer Architecture, EURASIP Journal on Embedded Systems, vol.23, issue.4, pp.1-2, 2009.
DOI : 10.1109/40.592314

J. Whitham, Scratchpad Memory Management Unit, 2012.

G. Gebhard, C. Cullmann, and R. Heckmann, Software Structure and WCET Predictability, Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems (PPES), pp.1-10, 2011.

G. J. Holzmann, The Power of 10: Rules for Developing Safety-Critical Code, IEEE Computer, vol.39, issue.6, pp.95-97, 2006.

A. Pop and A. Cohen, A stream-computing extension to OpenMP, Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers, HiPEAC '11, pp.5-14, 2011.
DOI : 10.1145/1944862.1944867
URL : https://hal.archives-ouvertes.fr/hal-00659411

F. Nemer, H. Cassé, P. Sainrat, J. Bahsoun, and M. D. , PapaBench: A Free Real-Time Benchmark, 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006.