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

R. Wilhelm and D. Grund, Computation takes time, but how much?, Communications of the ACM, vol.57, issue.2, pp.94-103, 2014.
DOI : 10.1145/2500886

P. Axer, R. Ernst, H. Falk, A. Girault, D. Grund et al., Building timing predictable embedded systems, ACM Transactions on Embedded Computing Systems, vol.13, issue.4, pp.1-8237, 2014.
DOI : 10.1145/2560033

URL : https://hal.archives-ouvertes.fr/hal-01095461

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-53, 2008.
DOI : 10.1145/1347375.1347389

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

S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics, Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, pp.329-339, 2008.
DOI : 10.1145/1353534.1346323

T. Bergan, O. Anderson, J. Devietti, L. Ceze, and D. Grossman, CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution, Proceedings of the 15th ASPLOS on Architectural Support for Programming Languages and Operating Systems, pp.53-64, 2010.

S. Burckhardt and D. Leijen, Semantics of Concurrent Revisions, Proceedings of the 20th European Conference on Programming Languages and Systems, ser. ESOP/ETAPS, pp.116-135, 2011.
DOI : 10.1007/11737414_1

R. Raman, J. Zhao, V. Sarkar, M. Vechev, and E. Yahav, Efficient Data Race Detection for Async-Finish Parallelism, Proceedings of the 1st International Conference on Runtime Verification, pp.368-383, 2010.
DOI : 10.1007/978-3-642-16612-9_28

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The Synchronous Languages 12 Years Later The Esterel Synchronous Programming Language: Design, Semantics and Implementation, Proceedings of the IEEE Science of Computer Programming, vol.91, issue.19 2, pp.64-83, 1992.

J. Souyris, E. L. Pavec, G. Himbert, V. Jégu, G. Borios et al., Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation, International Workshop on Worst-case Execution Time, pp.21-24, 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
DOI : 10.1145/1837274.1837288

E. Yip, P. S. Roop, M. Biglari-abhari, and A. Girault, Programming and Timing Analysis of Parallel Programs on Multicores, 2013 13th International Conference on Application of Concurrency to System Design, 2013.
DOI : 10.1109/ACSD.2013.19

URL : https://hal.archives-ouvertes.fr/hal-00842402

S. Andalam, P. S. Roop, A. Girault, and C. Traulsen, A Predictable Framework for Safety-Critical Embedded Systems, IEEE Transactions on Computers, vol.63, issue.7, pp.1600-1612, 2014.
DOI : 10.1109/TC.2013.28

URL : https://hal.archives-ouvertes.fr/hal-01095468

R. Von-hanxleden, SyncCharts in C -A Proposal for Light-Weight, Deterministic Concurrency, Proceedings of the 9th ACM/IEEE International conference on Embedded software, 2009.

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

S. A. Edwards and J. Zeng, Code Generation in the Columbia Esterel Compiler, EURASIP Journal on Embedded Systems, 2007.

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.608.9082

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

S. Yuan, Architectures Specific Compilation for Efficient Execution of Esterel, 2013.

C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. M. Burguiere et al., Predictability Considerations in the Design of Multi-Core Embedded Systems, Embedded Real Time Software and Systems (ERTS), 2010.

. Xilinx, MicroBlaze Processor Reference Guide, 2012.

J. Whitham, Scratchpad Memory Management Unit, 2012.

S. Blazy and X. Leroy, Mechanized Semantics for the Clight Subset of the C Language, Journal of Automated Reasoning, vol.29, issue.6, pp.263-288, 2009.
DOI : 10.1007/s10817-009-9148-3

URL : https://hal.archives-ouvertes.fr/inria-00352524

M. Buss, D. Brand, V. Sreedhar, and S. A. Edwards, A novel analysis space for pointer analysis and its application for bug finding, Science of Computer Programming, vol.75, issue.11, 2010.
DOI : 10.1016/j.scico.2009.08.002

M. Mccool, A. D. Robison, and J. Reinders, Structured Parallel Programming, 2012.

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