J. Almeida, M. Frade, J. Pinto, M. De-sousa, and S. , Rigorous Software Development: An Introduction to Program Verification. Undergraduate Topics in Computer Science, pp.15-44, 2011.

. Intel, Intel MPI Benchmarks 4.0 Update 2

, MVAPICH: MPI over InfiniBand, 10GigE/iWARP and RoCE

, Future Benchmarks and Performance Tests

. Apachebench,

. Hp and . The,

, Linux Benchmark Suite Homepage

, Measuring Computer Performance: A Practitioner's Guide, 2000.

J. Dongarra, J. Martin, and E. R. Benchmarks, Encyclopedia of Computer Science, pp.137-141

K. Huppler, The Art of Building a Good Benchmark, 2009.

M. Vieira, H. Madeira, K. Sachs, S. R. Kounev, and . Benchmarking, , pp.283-301, 2012.

J. Kistowski, J. A. Arnold, K. Huppler, K. D. Lange, J. L. Henning et al., How to build a benchmark, Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, ICPE '15, pp.333-336, 2015.

A. Martin, An Infrastructure for the generic and optimized analysis of execution traces of embedded systems. Theses, Université Grenoble Alpes, 2017.

A. Martin, SWAT : Système de Workflow pour l'Analyse de Traces d'exécution

, Phoronix Test Suite

. Dbench,

, The Linpack Benchmark

, Dependability Benchmarking Project

, NAS Parallel Benchmarks

, EPCC OpenMP micro-benchmark suite

A. Joshi, S. Member, A. Phansalkar, and S. Member, Measuring Benchmark Similarity Using Inherent Program Characteristics, IEEE Transactions on Computers, vol.55, issue.6, pp.769-782, 2006.

. Oprofile,

, Performance Application Programming Interface

J. Seward, N. Nethercote, and J. Weidendorfer, Valgrind 3.3 -Advanced Debugging and Profiling for GNU/Linux Applications, Network Theory Ltd, 2008.

T. Janjusic, C. Kartsaklis, and . Glprof, A gprof inspired, callgraph-oriented per-object disseminating memory access multi-cache profiler, International Conference On Computational Science, vol.51, pp.1363-1372, 2015.

R. Lachaize, B. Lepers, and V. Quema, Memprof: A memory profiler for NUMA multicore systems, Presented as part of the 2012 USENIX Annual Technical Conference, vol.12, pp.53-64, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00945731

C. Prada-rojas, M. Santana, S. De-paoli, and X. Raynaud, Summarizing Embedded Execution Traces through a Compact View, Conference on System Software, SoC and Silicon Debug S4D, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00788882

V. Marangozova-martin, Towards Generic System Observation Management, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01171642

. Stmicroelectronics and . Stworkbench,

. Stmicroelectronics, STLinux Trace Viewer Trace Format

, CTF : Common Trace Format

. Scalasca,

A. Knüpfer, H. Brunst, and R. Brendel, Open Trace Format. Specification, Center for Information Services and High Performance Computing (ZIH) Technische Universität Dresden, 2011.

, Linux Trace Toolkit: next generation

F. Giraldeau, J. Desfossez, D. Goulet, M. Desnoyers, and M. R. Dagenais, Recovering System Metrics from Kernel Trace, Linux Symposium, 2011.

S. Cohen-boulakia and U. Leser, Search, adapt and reuse: The future of scientific workflows, SIGMOD Records, vol.40, issue.2, pp.1187-1189, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00638043

J. Qin and T. Fahringer, Scientific Workflows, Programming, Optimization, and Synthesis with ASKALON and AWDL, 2012.

J. Kim, Y. Gil, and M. Spraragen, A knowledge-based approach to interactive workflow composition, PROCEEDINGS OF THE 2004 WORKSHOP ON PLANNING AND SCHEDULING FOR WEB AND GRID SERVICES, AT THE 14TH INTERNATIONAL CONFERENCE ON AUTOMATIC PLANNING AND SCHEDULING (ICAPS 04), 2004.

E. Deelman, K. Vahi, G. Juve, M. Rynge, S. Callaghan et al.,

. Pegasus, workflow management system for science automation, Future Generation Computer Systems, vol.46, pp.17-35, 2015.

. Vistrails,

M. Desnoyers, Low-Impact Operating System Tracing, 2009.

K. Y. Chen, Y. H. Chang, P. S. Liao, P. C. Yew, S. W. Cheng et al., Selective Profiling for OS Scalability Study on Multicore Systems, IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013.
DOI : 10.1109/soca.2013.28

S. D. Sharma and M. Dagenais, Enhanced userspace and in-kernel trace filtering for production systems, J. Comput. Sci. Technol, vol.31, issue.6, pp.1161-1178, 2016.
DOI : 10.1007/s11390-016-1690-y

. Linux-perf-tool,

H. Chen, D. Wagner, and D. Dean, Setuid demystified, Proceedings of the 11th USENIX Security Symposium, USENIX Association, pp.171-190, 2002.

R. Jain, The Art Of Computer Systems Performance Analysis, 1991.

, The SoC-TRACE Project

. Stmicroelectronics and . Stlinux, gstreamer: Open Source Media Framework

A. Wang and K. Qian, Component-Oriented Programming, 2005.
DOI : 10.1002/0471713708

. Babeltrace,

U. Phoronix-test-suite and . Manual,

U. The and . Platform,

T. Juno and A. Development-platform,

T. Nvidia-jetson,

S. P. Callahan, J. Freire, E. Santos, C. Scheidegger, C. T. Silva et al., VisTrails : Visualization meets Data Management, Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, pp.745-747, 2006.

A. Storm,

A. Spark,

, BPF Compiler Collection (BCC