K. Keutzer, S. Malik, S. Member, A. R. Newton, J. M. Rabaey et al., System-level design: orthogonalization of concerns and platform-based design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.19, issue.12, pp.1523-1543, 2000.
DOI : 10.1109/43.898830

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, VMCAI, pp.73-84, 2004.
DOI : 10.1007/978-3-540-24622-0_8

H. L. Younes, Verification and planning for stochastic processes with asynchronous events, 2005.

A. Basu, S. Bensalem, M. Bozga, P. Bourgos, M. Maheshwari et al., Component Assemblies in the Context of Manycore, FMCO, 2011.
DOI : 10.1007/3-540-16042-6_21

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

A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3
DOI : 10.1109/MS.2011.27

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

A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel et al., Statistical model checking QoS properties of systems with SBIP, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, pp.1-15, 2014.
DOI : 10.1007/s10009-014-0313-6

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

J. Mutch and D. G. Lowe, Object Class Recognition and Localization Using Sparse Features with Limited Receptive Fields, International Journal of Computer Vision, vol.5, issue.7, 2008.
DOI : 10.1007/s11263-007-0118-0

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

D. Melpignano, L. Benini, E. Flamand, B. Jego, T. Lepley et al., Platform 2012, a many-core computing accelerator for embedded SoCs, Proceedings of the 49th Annual Design Automation Conference on, DAC '12, 2012.
DOI : 10.1145/2228360.2228568

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

A. Wald, Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945.
DOI : 10.1214/aoms/1177731118

F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska et al., Hardwaresoftware Co-design of Embedded Systems: The POLIS Approach, 1997.

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, A framework for automated distributed implementation of component-based models, Distributed Computing, pp.383-409, 2012.
DOI : 10.1007/s00446-012-0168-6

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

J. Boudec, Performance Evaluation of Computer and Communication Systems, 2010.
DOI : 10.1201/b16328

D. Vose, Risk analysis : a quantitative guide, 2008.

G. E. Box and D. A. Pierce, Distribution of Residual Autocorrelations in Autoregressive-Integrated Moving Average Time Series Models, Journal of the American Statistical Association, vol.11, issue.332, pp.1509-1526, 1970.
DOI : 10.1098/rsta.1927.0007

G. M. Ljung and G. E. Box, On a measure of lack of fit in time series models, Biometrika, vol.65, issue.2, pp.297-303, 1978.
DOI : 10.1093/biomet/65.2.297

G. Cowan, Statistical Data Analysis [18] R Core Team, R: A Language and Environment for Statistical Computing, R Foundation for Statistical Computing, 1998.

M. L. Delignette-muller, R. Pouillot, J. Denis, and C. Dutang, fitdistrplus:help to fit of a parametric distribution to non-censored or censored data, 2014.

T. Abdellatif, J. Combaz, and J. Sifakis, Rigorous implementation of real-time systems ??? from theory to application, Mathematical Structures in Computer Science, vol.16, issue.04, pp.882-914, 2013.
DOI : 10.1007/BFb0028726

S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel, A. Legay et al., Statistical Model Checking QoS Properties of Systems with SBIP, ISoLA, issue.1, pp.2012-327
DOI : 10.1007/978-3-642-34026-0_25

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

A. D. Pimentel, M. Thompson, S. Polstra, and C. Erbas, Calibration of Abstract Performance Models for System-Level Design Space Exploration, Journal of Signal Processing Systems, vol.53, issue.11, pp.99-114
DOI : 10.1007/s11265-007-0085-2

A. D. Pimentel, C. Erbas, and S. Polstra, A systematic approach to exploring embedded system architectures at multiple abstraction levels, IEEE Transactions on Computers, vol.55, issue.2, pp.99-112, 2006.
DOI : 10.1109/TC.2006.16

S. Mohanty and V. K. Prasanna, Rapid system-level performance evaluation and optimization for application mapping onto SoC architectures, 15th Annual IEEE International ASIC/SOC Conference, 2002.
DOI : 10.1109/ASIC.2002.1158049

A. Bakshi, V. K. Prasanna, and A. Ledeczi, Milan: A model based integrated simulation framework for design of embedded systems, pp.82-93, 2001.

W. Haid, M. Keller, K. Huang, I. Bacivarov, and L. Thiele, Generation and calibration of compositional performance analysis models for multi-processor systems, 2009 International Symposium on Systems, Architectures, Modeling, and Simulation, pp.92-99
DOI : 10.1109/ICSAMOS.2009.5289246

P. Giusto, G. Martin, and E. Harcourt, Reliable estimation of execution time of embedded software, " ser. DATE '01, pp.580-589

A. D. Pimentel, The Artemis workbench for system-level performance evaluation of embedded systems, International Journal of Embedded Systems, vol.3, issue.3, 2005.
DOI : 10.1504/IJES.2008.020299

L. Thiele, I. Bacivarov, W. Haid, and K. Huang, Mapping Applications to Tiled Multiprocessor Embedded Systems, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007.
DOI : 10.1109/ACSD.2007.53

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis -the symta/s approach, IEEE Proceedings Computers and Digital Techniques, 2005.

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

A. E. Dalsgaard, M. C. Olesen, M. Toft, R. R. Hansen, and K. G. Larsen, METAMOC: Modular execution time analysis using model checking, WCET, pp.113-123, 2010.

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, SFM, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

A. Nouri, B. Raman, M. Bozga, A. Legay, and S. Bensalem, Fatser statistical model checking by means of abstraction and learning, Runtime Verification, 2014.