J. Abrial, Modeling in Event-B: system and software engineering, 2010.

L. Apvrille, TTool for DIPLODOCUS: an environment for design space exploration, Proceedings of the 8th International Conference on New Technologies in Distributed Systems, pp.28-29, 2008.

;. C. Atego, S. Cerav-erbas, and A. D. Pimentel, Multiobjective optimization and evolutionary algorithms for the application mapping problem in multiprocessor system-on-chip design, IEEE Transactions on Evolutionary Computation, vol.10, issue.3, pp.358-374, 2006.

P. H. Feiler and D. P. Gluch, Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language, 2012.

D. Genius, L. W. Li, A. , and L. , Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design, Conferénce on Model-Driven Engineering and Software Development (Modelsward'2017), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01447148

G. Kahn, Information Processing '74: Proceedings of the IFIP Congress, pp.471-475, 1974.

B. Kienhuis, E. Deprettere, P. Van-der-wolf, and K. Vissers, A Methodology to Design Programmable Embedded Systems: The Y-Chart Approach, Embedded Processor Design Challenges, pp.18-37, 2002.

D. Knorreck, L. Apvrille, and R. Pacalet, Formal System-level Design Space Exploration, Concurrency and Computation: Practice and Experience, vol.25, issue.2, pp.250-264, 2013.

S. Lee, F. Mallet, D. Simone, and R. , Dealing with aadl end-to-end flow latency with uml marte, Engineering of Complex Computer Systems. 13th IEEE International Conference on, pp.228-233, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00200834

W. Mueller, D. He, F. Mischkalla, A. Wegele, A. Larkham et al., The SATURN approach to sysml-based hw/sw codesign, VLSI 2010 Annual Symposium, pp.151-164, 2011.

. Osci, The SoCLib project: An integrated system-on-chip modelling and simulation platform, 2003.

, MDGen for SystemC, 2009.

S. Taha, A. Radermacher, and S. Gérard, An entirely model-based framework for hardware design and simulation, DIPES/BICC, vol.329, pp.31-42, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00526737

T. Tanzi, M. Chandra, J. Isnard, D. Camara, O. Sebastien et al., Towards "drone-borne" disaster management: Future application scenarios, ISPRS Annals of Photogrammetry, Remote Sensing and Spatial Information Sciences, pp.181-189, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01516666

M. Thompson, H. Nikolov, T. Stefanov, A. D. Pimentel, C. Erbas et al., A framework for rapid system-level exploration, synthesis, and programming of multimedia MP-SoCs, Hardware/Software Codesign and System Synthesis, pp.9-14, 2007.

J. Vidal, F. De-lamotte, G. Gogniat, P. Soulard, and J. Diguet, A co-design approach for embedded system modeling and code generation with UML and MARTE, Design, Automation and Test in Europe, pp.226-231, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00369036