A. Nouri, M. Bozga, A. Moinos, A. Legay, and S. Bensalem, Building faithful high-level models and performance evaluation of manycore embedded systems, ACM/IEEE International conference on Formal methods and models for codesign, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01087671

A. Legay, B. Delahaye, and S. Bensalem, Statistical model checking: An overview, pp.122-135, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00591593

I. S. Association, Ieee standard for standard systemc language reference manual, 2012.

J. Keinert, M. Streubühr, T. Schlichter, J. Falk, J. Gladigau et al., Systemcodesigner-an automatic esl synthesis approach by design space exploration and behavior synthesis for streaming applications, ACM Trans. Des. Autom. Electro. Syst, vol.14, issue.1, pp.1-23, 2009.

C. Erbas, A. D. Pimentel, M. Thompson, and S. Polstra, A framework for system-level modeling and simulation of embedded systems architectures, EURASIP Journal on Embedded Systems, 2007.

R. Dmer, A. Gerstlauer, J. Peng, D. Shin, L. Cai et al., System-on-chip environment: A specc-based framework for heterogeneous mpsoc design, EURASIP Journal on Embedded Systems, 2008.

T. Kangas, P. Kukkala, H. Orsila, E. Salminen, and H. T. , Uml-based multiprocessor soc design framework, ACM Transactions on Embedded Computing Systems, vol.5, issue.2, pp.281-320, 2006.

A. Gerstlauer, C. Haubelt, A. D. Pimentel, T. Stefanov, D. D. Gajski et al., Electronic system-level synthesis methodologies, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.28, issue.10, pp.1517-1530, 2009.

J. Kreku, M. Hoppari, T. Kestilä, Y. Qu, J. Soininen et al., Combining uml2 application and systemc platform modelling for performance evaluation of real-time embedded systems, EURASIP Journal on Embedded Systems, vol.6, pp.1-6, 2008.

T. Arpinen, E. Salminen, T. D. Hämäläinen, and M. Hännikäinen, Performance evaluation of uml-2 modeled embedded streaming applications with system-level simulation, EURASIP Journal on Embedded Systems, 2009.

. Intel, Intel cofluent studio

T. Architect,

C. ,

. Traceanalyzer,

. Spacecodesign,

. Mirabilisdesign,

S. Perathoner, E. Wandeler, L. Thiele, A. Hamann, S. Schliecker et al., Influence of different abstractions on the performance analysis of distributed hard real-time systems, Des. Autom. Embedded Syst, vol.13, issue.1-2, pp.27-49, 2009.

K. Huang, W. Haid, I. Bacivarov, M. Keller, and L. Thiele, Embedding formal performance analysis into the design cycle of mpsocs for real-time streaming applications, ACM Trans. Embed

, Comput. Syst, vol.11, issue.1, pp.1-8, 2012.

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System Level Performance Analysis -the SymTA/S Approach, IEE Proceedings Computers and Digital Techniques, 2005.

J. Katoen and H. Wu, Probabilistic model checking for uncertain scenario-aware data flow, ACM Trans. Des. Autom. Electron. Syst, vol.22, issue.1, pp.1-15, 2016.

M. Skelin, E. R. Wognsen, M. C. Olesen, R. R. Hansen, and K. G. Larsen, Model checking of finite-state machine-based scenario-aware dataflow using timed automata, 10th IEEE International Symposium on, pp.1-10, 2015.

X. Zhu, R. Yan, Y. Gu, J. Zhang, W. Zhang et al., Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking, FM 2015: Formal Methods, pp.551-569, 2015.

R. K. Thakur and Y. N. Srikant, Efficient Compilation of Stream Programs for Heterogeneous Architectures: A Model-Checking based approach, Indian Institute of Science, 2015.

W. Ahmad, E. De-groote, P. K. Hlzenspies, M. I. Stoelinga, and J. C. Van-de-pol, Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata, Proceedings of 14th IEEE International Conference on Application of Concurrency to System Design (ACSD, 2014.

A. Malik and D. Gregg, Orchestrating Stream Graphs Using Model Checking, ACM Trans. Archit. Code Optim, vol.10, issue.3, p.25, 2013.

Y. Yang, M. Geilen, T. Basten, S. Stuijk, and H. Corporaal, Automated bottleneck-driven design-space exploration of media processing systems, Proceedings of the Conference on Design, Automation and Test in Europe

B. Leuven, Belgium: European Design and Automation Association, pp.1041-1046, 2010.

C. Norstrom, A. Wall, and W. Yi, Timed automata as task models for event-driven systems, Real-Time Computing Systems and Applications, 1999. RTCSA'99. Sixth International Conference, pp.182-189, 1999.

M. Hendriks and M. Verhoef, Timed automata based analysis of embedded system architectures, Parallel and Distributed Processing Symposium, 2006. IPDPS, p.8, 2006.

M. Lv, W. Yi, N. Guan, and G. Yu, Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software, 2010 31st IEEE Real-Time Systems Symposium, pp.339-349, 2010.

A. Gustavsson, A. Ermedahl, B. Lisper, and P. Pettersson, Towards WCET analysis of multicore architectures using UPPAAL, WCET, pp.101-112, 2010.

G. Giannopoulou, K. Lampka, N. Stoimenov, and L. Thiele, Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems, Proc. International Conference on Embedded Software (EMSOFT)

F. Tampere, , pp.63-72, 2012.

A. Brekling, M. R. Hansen, and J. Madsen, Models and formal verification of multiprocessor system-on-chips, The Journal of Logic and Algebraic Programming, vol.77, issue.1-2, pp.1-19, 2008.

W. Zhang, Bounding Worst-Case Performance for Multi-Core Processors with Shared L2 Instruction Caches, Journal of Computing Science and Engineering, vol.5, issue.1, pp.1-18, 2011.

M. Bker, An Automated Semantic-Based Approach for Creating Task Structures, Dissertation, 2013.

M. Fakih, K. Grüttner, M. Fränzle, and A. Rettberg, State-based realtime analysis of SDF applications on mpsocs with shared communication resources, Journal of Systems Architecture -Embedded Systems Design, vol.61, issue.9, pp.486-509, 2015.

A. David, K. G. Larsen, A. Legay, M. Mikucionis, D. B. Poulsen et al., Statistical model checking for networks of priced timed automata," in Formal Modeling and Analysis of Timed Systems, ser. Lecture Notes in Computer Science, vol.6919, pp.80-96, 2011.

M. Kwiatkowska, G. Norman, and D. Parker, Prism 4.0: Verification of probabilistic real-time systems, Proc. International Conference on Computer Aided Verification (CAV'11), pp.585-591, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

C. Jegourel, A. Legay, and S. Sedwards, A platform for high performance statistical model checking -plasma, Proc. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), pp.498-503, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01087824

P. Bulychev, A. David, K. Larsen, M. Mikucionis, D. B. Poulsen et al., Statistical model checking for priced timed automata, Proc. 10th workshop on quantitative aspects of programming languages and systems (QAPL'12), 2012.

M. Chen, D. Yue, X. Qin, X. Fu, and P. Mishra, Variation-aware evaluation of mpsoc task allocation and scheduling strategies using statistical model checking, 2015 Design, Automation Test in Europe Conference Exhibition (DATE), pp.199-204, 2015.

F. J. Cazorla, E. Quiñones, T. Vardanega, L. Cucu, B. Triquet et al., Proartis: Probabilistically analyzable real-time systems, ACM Transactions on Embedded Computing Systems (TECS), vol.12, issue.2s, p.94, 2013.

F. J. Cazorla, J. Abella, J. Andersson, T. Vardanega, F. Vatrinet et al., Proxima: Improving measurement-based timing analysis through randomisation and probabilistic analysis, p.2016
URL : https://hal.archives-ouvertes.fr/hal-01419735

, Euromicro Conference on. IEEE, pp.276-285, 2016.

A. Kumar, Analysis, design and management of multimedia multiprocessor systems, 2009.
DOI : 10.1007/978-94-007-0083-3

A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jegourel et al., Statistical model checking qos properties of systems with sbip, International Journal on Software Tools for Technology Transfer, vol.17, issue.2, pp.171-185, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01087822

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, pp.41-48, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

V. C. Ngo, A. Legay, and J. Quilbeuf, Statistical model checking for systemc models, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering, pp.197-204, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01238162

C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza et al., Predictability considerations in the design of multi-core embedded systems, Proceedings of the Embedded Real Time Software and Systems Congress, 2010.

K. Tindell and J. Clark, Holistic schedulability analysis for distributed hard real-time systems, Microprocess. Microprogram, vol.40, issue.2-3, pp.90080-90089, 1994.

T. Yen and W. Wolf, Performance estimation for real-time distributed embedded systems, IEEE Transactions on, vol.9, issue.11, pp.1125-1136, 1998.

T. Pop, P. Eles, and Z. Peng, Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems, Proceedings of the tenth international symposium on Hardware/software codesign, pp.187-192, 2002.

B. Andersson, A. Easwaran, and J. Lee, Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems, ACM Sigbed Review, vol.7, issue.1, p.4, 2010.

M. Fakih, K. Grttner, M. Frnzle, and A. Rettberg, State-based real-time analysis of SDF applications on MPSoCs with shared communication resources, Journal of Systems Architecture, vol.61, issue.9, pp.486-509, 2015.

R. Stemmer, M. Fakih, K. Grttner, and W. Nebel, Towards statebased RT analysis of FSM-SADFGs on MPSoCs with shared memory communication, 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, vol.1, p.2017, 2017.

A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jegourel et al., Statistical model checking qos properties of systems with sbip, International Journal on Software Tools for Technology Transfer, p.14, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00847827

R. Stemmer, H. Schlender, M. Fakih, K. Grttner, and W. Nebel, Probabilistic state-based RT-analysis of SDFGs on MPSoCs with shared memory communication, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), vol.3, p.2019

R. Wilhelm, S. Altmeyer, C. Burguì-ere, D. Grund, J. Herter et al., Static Timing Analysis for Hard Real-Time Systems, pp.3-22, 2010.

F. J. Cazorla, E. Quiñones, T. Vardanega, L. Cucu, B. Triquet et al., Proartis: Probabilistically analyzable real-time systems, ACM Trans. Embed. Comput. Syst, vol.12, issue.2s, p.26, 2013.

F. J. Cazorla, J. Abella, J. Andersson, T. Vardanega, F. Vatrinet et al., PROX-IMA: improving measurement-based timing analysis through randomisation and probabilistic analysis," in DSD, pp.276-285, 2016.

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proceedings of the IEEE, vol.75, pp.1235-1245, 1987.

A. Legay, B. Delahaye, and S. Bensalem, Statistical model checking: An overview, pp.122-135, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00591593

C. P. Robert, G. Casella, and G. Casella, Introducing monte carlo methods with r, vol.18, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00450502

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate probabilistic model checking, pp.73-84, 2004.

R. Grosu and S. A. Smolka, Monte carlo model checking, pp.271-286, 2005.

W. Hoeffding, Probability inequalities for sums of bounded random variables, Journal of the American Statistical Association, vol.58, issue.301, pp.13-30, 1963.

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

S. Dutta, D. Tabakov, and M. Y. Vardi, Chimp: a tool for assertionbased dynamic verification of systemc models, Program Proceedings, p.38, 2013.

C. Schlaak, M. Fakih, and R. Stemmer, Power and execution time measurement methodology for sdf applications on fpga-based mpsocs, 2017.

E. Parzen, On estimation of a probability density function and mode, Ann. Math. Statist, vol.33, issue.3, pp.1065-1076, 1962.

,