]. F. Références-[-ghe05 and . Ghenassia, Transaction-level modeling with SystemC : TLM concepts and applications for embedded systems, 2005.

Y. Huang, C. Yin, T. B. Hsu, T. Huang, and . Chang, SoC HW/SW verification and validation, Proceedings of the 16th Asia and South Pacific Design Automation Conference, pp.297-300, 2011.

B. Jonsson, S. Perathoner, L. Thiele, and W. Yi, Cyclic dependencies in modular performance analysis, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.179-188, 2008.
DOI : 10.1145/1450058.1450083

. Kalray, MPPA : Multi-Purpose Processor Array, 2012.

K. Lampka, S. Perathoner, and L. Thiele, Analytic real-time analysis and timed automata, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, 2009.
DOI : 10.1145/1629335.1629351

P. [. Larsen, W. Pettersson, and . Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

D. Melpignano, L. Benini, E. Flamand, B. Jego, T. Lepley et al., Fabien Clermidy, and Denis Dutoit. Platform 2012, a many-core computing accelerator for embedded socs : performance evaluation of visual analytics applications, Proceedings of the 49th Annual Design Automation Conference, DAC '12, pp.1137-1142, 2012.

M. Moy, High-level Models for Embedded Systems. HabilitationàHabilitation`Habilitationà diriger des recherches (HDR), 2014.
URL : https://hal.archives-ouvertes.fr/tel-01054555

T. X. Linh, S. Phan, P. S. Chakraborty, L. Thiagarajan, and . Thiele, Composing functional and state-based performance models for analyzing heterogeneous real-time systems, RTSS, pp.343-352, 2007.

L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.101-104, 2000.
DOI : 10.1109/ISCAS.2000.858698