. , Comparison with Hansen's work: (a) return level plot for Hansen's method, (b) our pWCET estimation (in red) against the estimation obtained according to adversary method

. , Comparison with Cucu's work: (a) return level plot for Cucu's method, (b) our pWCET estimation (in red) against the estimation obtained according to adversary method

. , The two branches of EVT for dependent data and their relation with EVT for independent data

. , Set of execution times with small variability

. .. Tricore-aurix-block-diagram, 100 5.2 Distribution of independent execution times for the program prime on the Aurix architecture

. , Lag plot for independent execution times for the program prime on the Aurix architecture, vol.101

. , Dependent execution times for the program prime on the Aurix architecture with independent input values

, Lag test for dependent execution times for the program prime on the Aurix architecture while using independent input data, p.103

. , pWCET estimation from dependent execution times of the program prime on the Aurix architecture

. .. Schematic, , p.115

. .. , 128 5.17 Standard deviation of the execution time obtained for the WBBC application on Leon3 in normal mode, Execution time for WBBC on Leon3 in normal mode

. , 131 5.19 pWCET estimation for UoA1 of WBBC application executing on the Leon3 processor in normal mode, Graphical description of the UoA1 execution times obtained on the Leon3-N platform

. , 134 5.21 Comparing avg and max for WBBC, LEON3 in normal mode and in randomized mode, Execution time for WBBC on Leon3 in randomized mode

. , Standard deviation of the execution time obtained for the WBBC application on Leon3 in randomized mode (compared with normal mode)

. , 136 5.24 pWCET estimation for UoA1 of WBBC application executing on the Leon3 processor in randomized mode, Graphical description of the UoA1 execution times obtained on the Leon3-R platform

. , 25 pWCET probabilities of exceedance for WBBC, LEON3 with HW Randomization

. .. Hardware, 27 Standard deviation of the execution time obtained for the WBBC application on P4080 platform, Execution time for WBBC on the P4080, vol.139

. , 142 5.29 pWCET estimation for UoA1 of WBBC application executing on the P4080 platform, Graphical description of the UoA1 execution times obtained on the P4080 platform. On the left: histogram of the data. On the right: lag test result

. .. , 146 5.32 Standard deviation of the execution time obtained for the FCDC application on Leon3 in normal mode, Execution time for FCDC on Leon3 in normal mode

. , 149 5.34 Comparing avg and max for FCDC, LEON3 in normal mode and in randomized mode, Execution time for FCDC on Leon3 in randomized mode

, LIST OF FIGURES 169

. , Standard deviation of the execution time obtained for the FCDC application on Leon3 in randomized mode (compared with normal mode)

. , 152 5.37 pWCET estimation for UoA16 of FCDC application executing on the Leon3 processor in randomized mode, Graphical description of the UoA16 execution times obtained on the Leon3-R platform

. , 38 pWCET probabilities of exceedance for FCDC, LEON3 with HW Randomization

. .. , Execution time for FCDC on the P4080 platform, p.155

. , 155 5.41 pWCET estimation for UoA1 of FCDC application executing on the P4080 platform, Graphical description of the UoA1 execution times obtained on the Leon3-R platform

. , 79 5.1 pWCET estimation on Aurix for some Mälardalen Benchmark programs

. , Summary of results for avionics case study

, 131 5.5 pWCET estimations for WBBC execution on Leon3 in normal mode, p.133

. .. Leon3-r, 7 pWCET estimations of WBBC executing on Leon3 in randomized mode, vol.136

. .. Leon3-r, , p.141

. , 142 5.10 pWCET estimations for WBBC execution on the P4080 processor, 144 5.11 PMC readings for FCDC on Leon3

. , ) and independence tests results for the FCDC application running on the Leon3 processor in normal configuration

R. .. , Airbus defence and space press release: Statement regarding accident information transmission (ait) to a400m operators as follow up to aot of 19 may, PMC readings for FCDC on Leon3, vol.151, p.400, 2015.

[. Abeni, Efficient and robust probabilistic guarantees for real-time tasks, Journal of Systems and Software, vol.85, issue.5, pp.1147-1156, 2012.

. Albers, Advanced hierachical event-stream model, Real-Time Systems, 2008. ECRTS'08. Euromicro Conference on, pp.211-220, 2008.

. Altmeyer, , 2015.

, Static probabilistic timing analysis for real-time systems using random replacement caches. Real-Time Systems, vol.51, pp.77-123

A. Atlas and A. Bestavros, Statistical rate monotonic scheduling, 19th IEEE Real-Time Systems Symposium (RTSS, 1998.

N. Audsley, Optimal priority assignment and feasibility of static priority tasks with arbitrary start times, 1991.

N. Audsley-;-audsley, On priority assignment in fixed priority scheduling, Information Processing Letters, vol.79, issue.1, pp.39-44, 2001.

. Audsley, Applying new scheduling theory to static priority preemptive scheduling, Software Engineering Journal, vol.8, issue.5, pp.284-292, 1993.

. Bibliography-[audsley, Fixed priority pre-emptive scheduling: An historical perspective. Real-Time Systems, vol.8, pp.173-198, 1995.

N. R. Augustine-;-augustine, P. Axer, and R. Ernst, Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors, Proceedings of the 50th Annual Design Automation Conference, DAC '13, vol.172, pp.1-172, 1997.

T. P. Baker, Stack-based scheduling of realtime processes, Real-Time Systems, vol.3, issue.1, pp.67-99, 1991.

. Baldovin, Kernel-level time composability for avionics applications, Proceedings of the 28th Annual ACM Symposium on Applied Computing, pp.1552-1554, 2013.

. Baldovin, , 2013.

, Limited preemptive scheduling of non-independent task sets, Proceedings of the Eleventh ACM International Conference on Embedded Software, p.18

[. Balkema, D. Haan, A. A. Balkema, and L. De-haan, Residual life time at great age. The Annals of probability, pp.792-804, 1974.

S. Baruah, The limited-preemption uniprocessor scheduling of sporadic task systems, Proceedings. 17th Euromicro Conference on, pp.137-144, 2005.

[. Baruah, Scheduling real-time mixedcriticality jobs. Computers, IEEE Transactions on, vol.61, issue.8, pp.1140-1152, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00643942

[. Baruah, A study of replacement algorithms for a virtualstorage computer, Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd, vol.5, pp.78-101, 1966.

[. Berezovskyi, Measurement-based probabilistic timing analysis for graphics processor units, Architecture of Computing Systems-ARCS 29th International Conference, pp.223-236, 2016.

[. Berezovskyi, WCET measurement-based and extreme value theory characterisation of CUDA kernels, 22nd International Conference on Real-Time Networks and Systems, p.279, 2014.

. Bernat, Probabilistic timing analysis: An approach using copulas, Journal of Embedded Computing, vol.1, issue.2, pp.179-194, 2005.

. Bernat, Wcet analysis of probabilistic hard real-time systems, Real-Time Systems Symposium, 2002. RTSS 2002. 23rd IEEE, pp.279-288, 2002.

[. Bin, Studying co-running avionic real-time applications on multi-core cots architectures, Embedded Real Time Software and Systems conference, 2014.

. Bini, E. Bini, and G. C. Buttazzo, Schedulability analysis of periodic fixed priority systems, IEEE Transactions on, vol.53, issue.11, pp.1462-1473, 2004.

[. Boniol, , 2012.

, Deterministic execution model on cots hardware, pp.98-110

I. Broster and A. Burns, Applying random arrival models to fixed priority analysis, the Proceedings of the Work-In-Progress of the 25th IEEE Real-Time Systems Symposium (RTSS04), 2004.

I. Broster and A. Burns, Random arrivals in fixed priority analysis, 1st International Workshop on Probabilistic Analysis Techniques for Real-time and Embedded Systems (PARTES2004), 2004.

. Bibliography-[broster, Probabilistic analysis of can with faults, Real-Time Systems Symposium, 2002. RTSS 2002. 23rd IEEE, pp.269-278, 2002.

A. Burns, Preemptive priority based scheduling: An appropriate engineering approach, 1993.

. Burns, A probabilistic framework for schedulability analysis, Third International Embedded Software Conference (EMSOFT 2003), pp.1-15, 2003.

A. Burns and S. Edgar, Predicting computation time for advanced processor architectures, Real-Time Systems, 2000. Euromicro RTS 2000. 12th Euromicro Conference on, pp.89-96, 2000.

A. Burns and A. J. Wellings, Real-time systems and programming languages: Ada 95, real-time Java, and real-time POSIX, 2001.

D. Buttle, Real-time in the prime-time, Keynote talk at the 24th Euromicro Conference on Real-Time Systems (ECRTS), 2012.

H. Cassé and P. Sainrat, Otawa, a framework for experimenting wcet computations, 3rd European Congress on Embedded Real-Time Software, vol.1, 2006.

[. Castillo, The selection of the domain of attraction of an extreme value distribution from a set of data, Extreme Value Theory, pp.181-190, 1989.

[. Cazorla, Proartis: Probabilistically analyzable real-time system, ACM Transactions on Embedded Computing Systems, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00920535

[. Cazorla, Proartis: Probabilistically analyzable real-time systems, ACM Trans. Embedded Comput. Syst, vol.12, issue.2s, pp.94-114, 2013.

L. Chakravarti, I. M. Chakravarti, and R. G. Laha, Handbook of methods of applied statistics, Handbook of methods of applied statistics, 1967.

C. and S. , An introduction to statistical modeling of extreme values, 2001.

A. Colin-;-colin, Heptane webpage, 2001.

[. Cucu, Periodic real-time scheduling: from deadline-based model to latency-based model, Annals of Operations Research, vol.159, issue.1, pp.41-51, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00192221

. Cucu, L. Tovar-;-cucu, and E. Tovar, A framework for response time analysis of fixed-priority tasks with stochastic inter-arrival times, ACM SIGBED Review, vol.3, issue.1, 2006.

L. Grosjean-;-cucu-grosjean, Independence-a missunderstood property of and for real-time systems, the 60th anniversary of A. Burns, 2013.

. Cucu-grosjean, Measurement-based probabilistic timing analysis for multi-path programs, the 24th Euromicro Conference on Real-Time Systems (ECRTS12), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00765987

P. David, L. David, and I. Puaut, Static determination of probabilistic execution times, the Euromicro Conference on Real-Time Systems(ECRTS), 2004.

. Davis, , 2013.

L. Grosjean, Analysis of probabilistic cache related pre-emption delays, IEEE Euromicro Conference on Real-Time Systems (ECRTS13), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00920913

. Davis, Static probabilistic timing analysis for multicore processors with shared cache. the 4th International Real-Time Scheduling Open Problems Seminar (RTSOPs2013), in conjunction with ECRTS2013. BIBLIOGRAPHY [de Oliveira and Gomes, Statistical Extremes and Applications, pp.651-668, 1984.

[. Diaz, Pessimism in the stochastic analysis of real-time systems: Concept and applications, 25th IEEE International Real-Time Systems Symposium (RTSS 2004), pp.197-207, 2004.

[. Díaz, Stochastic analysis of periodic real-time systems, Proceedings of the 23rd IEEE Real-Time Systems Symposium, p.289, 2002.

S. Edgar and A. Burns, Statistical analysis of WCET for scheduling, 22nd IEEE International Real-Time Systems Symposium (RTSS 2001), pp.215-224, 2001.

S. F. Edgar, Estimation of worst-case execution time using statistical analysis, 2002.

Y. ;. Ekberg, P. Ekberg, and W. Yi, Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real-time systems, vol.50, pp.48-86, 2014.

. Ermedahl, Deriving the worst-case execution time input values, Real-Time Systems, 2009. ECRTS'09. 21st Euromicro Conference on, pp.45-54, 2009.

. Faragó, T. Katz-;-faragó, and R. W. Katz, Extremes and design values in climatology, 1990.

F. , H. Ferdinand, C. Heckmann, and R. , ait: Worst-case execution time prediction by static program analysis. Building the Information Society, pp.377-383, 2004.

[. Ferdinand, , 2001.

, precise wcet determination for a real-life processor, Embedded Software, pp.469-485

T. Fisher, R. A. Fisher, and L. H. Tippett, Limiting forms of the frequency distribution of the largest or smallest member of a sample, Mathematical Proceedings of the Cambridge Philosophical Society, vol.24, pp.180-190, 1928.

R. Fuchsen, How to address certification for multi-core based ima platforms: Current status and potential solutions, Digital Avionics Systems Conference (DASC), p.5, 2010.

J. Galambos, A statistical test for extreme value distributions, pp.221-230, 1982.

L. Gardner, M. Gardner, and J. Lui, Analyzing stochastic fixed-priority real-time systems, 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1999.

B. Gnedenko, Sur la distribution limite du terme maximum d'une seris aleatoire, Annals of Mathematics, vol.44, pp.423-453, 1943.

A. Gogonel, Evt copernic pwcet estimator for real-time systems, 2014.

J. Goossens, Scheduling of offset free systems, Real-Time Systems, vol.24, issue.2, pp.239-258, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00083863

J. Goossens and R. Devillers, The nonoptimality of the monotonic priority assignments for hard real-time offset free systems, Real-Time Systems, vol.13, issue.2, pp.107-126, 1997.

. Griffin, . Burns, D. Griffin, and A. Burns, Realism in statistical analysis of worst case execution times, 10th Intl. Workshop on Worst-Case Execution Time Analysis, pp.49-57, 2010.

[. Griffin, Modelling fault dependencies when execution time budgets are exceeded, the 23rd International Conference on Real Time Networks and Systems, RTNS, pp.65-74, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01230443

. Bibliography-[griffin, , 2014.

, Static probabilistic timing analysis of random replacement caches using lossy compression, 22nd International Conference on Real-Time Networks and Systems, RTNS, p.289

[. Guet, On the Reliability of the Probabilistic Worst-Case Execution Time Estimates, 8th European Congress on Embedded Real Time Software and Systems (ERTS), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01289477

[. Gustafsson, The Mälardalen WCET benchmarks-past, present and future, the International Workshop on Worst-case Execution-time Analysis, 2010.

L. D. Haan, Sample extremes: an elementary introduction, Statistica Neerlandica, vol.30, issue.4, pp.161-172, 1976.

L. F. Haan, On regular variation and its application to the weak convergence of sample extremes, 1970.

[. Hansen, Statisticalbased WCET estimation and validation, 9th International Workshop on WorstCase Execution Time (WCET) Analysis, 2009.

D. Hardy and I. Puaut, Static probabilistic worst case execution time estimation for architectures with faulty instruction caches, Proceedings of the 21st International conference on Real-Time Networks and Systems (RTNS2013), pp.35-44, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00862604

J. A. Hartigan, A. M. Hasofer, and Z. Wang, A test for extreme value domain of attraction, Journal of the American Statistical Association, vol.87, issue.417, pp.171-177, 1975.

S. Heath, Embedded systems design, 2002.

[. Henia, System level performance analysis-the symta/s approach, IEE Proceedings-Computers and Digital Techniques, vol.152, pp.148-166, 2005.

[. Holsti, Using a worst-case execution time tool for real-time verification of the debie software, EUROPEAN SPACE AGENCY-PUBLICATIONS-ESA SP, vol.457, pp.307-312, 2000.

J. R. Hosking and J. R. Wallis, Parameter and quantile estimation for the generalized pareto distribution, Technometrics, vol.29, issue.3, pp.339-349, 1987.

[. Hu, Estimating probabilistic timing performance for real-time embedded systems. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol.9, issue.6, pp.833-844, 2001.

[. Jalle, Bus designs for time-probabilistic multicore processors, Proceedings of the conference on Design, Automation & Test in Europe, p.50, 2014.

, European Design and Automation Association

[. Jean, Ensuring robust partitioning in multicore platforms for ima systems, Digital Avionics Systems Conference (DASC), pp.7-11, 2012.

[. Kaczynski, Deriving exact stochastic response times of periodic tasks in hybrid priority-driven soft real-time systems, the 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'07), 2007.

[. Kaczynski, Towards stochastic response-time of hierarchically scheduled real-time tasks, Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), pp.453-456, 2006.

[. Kim, An exact stochastic analysis of priority-driven periodic realtime systems and its approximations, IEEE Trans. Comput, vol.54, issue.11, pp.1460-1466, 2005.

[. Kosmidis, A cache design for probabilistically analysable real-time systems, BIBLIOGRAPHY Proceedings of the Conference on Design, Automation and Test in Europe, pp.513-518, 2013.

[. Kosmidis, Multi-level unified caches for probabilistically time analysable real-time systems, Real-Time Systems Symposium (RTSS), 2013 IEEE 34th, pp.360-371, 2013.

[. Kosmidis, Efficient cache designs for probabilistically analysable real-time systems, IEEE Transactions on Computers, vol.63, issue.12, pp.2998-3011, 2014.

[. Kosmidis, PUB: path upper-bounding for measurementbased probabilistic timing analysis, 26th Euromicro Conference on Real-Time Systems, ECRTS, pp.276-287, 2014.

[. Kosmidis, Probabilistic timing analysis on conventional cache designs, Design, Automation & Test in Europe Conference & Exhibition (DATE), pp.603-606, 2013.

[. Kosmidis, Achieving timing composability with measurement-based probabilistic timing analysis, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), pp.1-8, 2013.

[. Kosmidis, Tasa: toolchain-agnostic static software randomisation for critical real-time systems, In Computer-Aided Design, p.2016, 2016.

, IEEE/ACM International Conference on, pp.1-8

N. Kotz, S. Kotz, and S. Nadarajah, Extreme value distributions: theory and applications, 2000.

[. Leadbetter, Extremes and related properties of random sequences and processes. BIBLIOGRAPHY 189 [Lee and Seshia, 1983.

J. Lehoczky, Real-time queueing theory, 10th of the IEEE Real-Time Systems Symposium (RTSS96), pp.186-195, 1996.

[. Lesage, , 2015.

, Static probabilistic timing analysis for multi-path programs, IEEE Real-Time Systems Symposium, RTSS

[. Lesage, A framework for the evaluation of measurement-based timing analyses, the 23rd International Conference on Real Time and Networks Systems, pp.35-44, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01231710

M. ;. Leung, J. Y. Leung, and M. Merrill, A note on preemptive scheduling of periodic, real-time tasks, Information processing letters, vol.11, issue.3, pp.115-118, 1980.

W. Leung, J. Y. Leung, and J. Whitehead, On the complexity of fixed-priority scheduling of periodic, real-time tasks, Performance evaluation, vol.2, issue.4, pp.237-250, 1982.

B. Lima, G. Lima, and I. Bate, Valid application of evt in timing analysis by randomising execution time measurements, the 20th IEEE Real-Time and Embedded Technology and Application Symposium, pp.187-197, 2017.

[. Lima, Extreme value theory for estimating task execution time bounds: A careful look, 28th Euromicro Conference on Real-Time Systems, pp.200-211, 2016.

L. Liu, C. L. Liu, and J. W. Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment, J. ACM, vol.20, issue.1, pp.46-61, 1973.

. Bibliography-[liu, Applying the peak over thresholds method on worst-case response time analysis of complex realtime systems, Embedded and Real-Time Computing Systems and Applications (RTCSA), pp.22-31, 2013.

[. Lopez, Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Realtime Systems, vol.40, pp.180-207, 2008.

[. Lu, A new way about using statistical analysis of worst-case execution times, the WiP sesion of the Euromicro Conference on Real-Time Systems, 2011.

[. Lu, A statistical response-time analysis of real-time embedded systems, Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd, pp.351-362, 2012.

[. Manica, Numerically efficient probabilistic guarantees for resource reservations. Emerging Technologies and Factory Automation (ETFA), 17th IEEE International Conference on, 2012.

[. Manolache, Schedulability analysis of multiprocessor real-time applications with stochastic task execution times, Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design, ICCAD '02, pp.699-706, 2002.

[. Manolache, Schedulability analysis of applications with stochastic task execution times, ACM Trans. Embed. Comput. Syst, vol.3, issue.4, pp.706-735, 2004.

F. Marohn, An adaptive efficient test for gumbel domain of attraction, Scandinavian Journal of Statistics, vol.25, issue.2, pp.311-324, 1998.

F. Marohn, Testing the gumbel hypothesis via the potmethod, Extremes, vol.1, issue.2, pp.191-213, 1998.

[. Marti, Reproducibility and representativity-mandatory properties for the compositionality of measurement-based wcet estimation approaches, Real-Time Systems Symposium, vol.191, p.17, 2001.

[. Maxim, , 2012.

, Estimation of probabilistic minimum inter-arrival times using extreme value theory, the 6th Junior Researcher Workshop on Real-Time Computing (JRWRTC2012)

[. Maxim, Optimal priority assignments for probabilistic real-time systems, the 19th International Conference on Real-Time and Network Systems (RTNS2011), 2011.

C. Maxim, D. Cucu-grosjean, and L. , Response time analysis for fixed-priority tasks with multiple probabilistic parameters, proceeding of the 34 th IEEE Real Time Systems Symposium, 2013. RTSS, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00918566

[. Maxim, Re-sampling for statistical timing analysis of real-time systems, Proceedings of the 20th International Conference on Real-Time and Network Systems, pp.111-120, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00766045

[. Maxim, , 2015.

, Study of the reliability of statistical timing analysis for real-time systems, the 23rd International Conference on Real Time and Networks Systems, pp.55-64

[. Melani, Learning from probabilities: Dependences within real-time systems, Proceedings of, 2013.

, IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA, pp.1-8

. Navet, Worst-case deadline failure probability in real-time applications distributed over controller area network, J. Syst. Archit, vol.46, issue.7, pp.607-617, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099080

. Bibliography-[nilsson, , 1998.

, Stochastic analysis and control of real-time systems with random time delays, Automatica, vol.34, issue.1, pp.57-64

. Nissanke, Probabilistic performance analysis in multiprocessor scheduling, Computing Control Engineering Journal, vol.13, issue.4, pp.171-179, 2002.

A. Oztürk and S. Korukogu, A new test for the extreme value distribution, Communications in Statistics-Simulation and Computation, vol.17, issue.4, pp.1375-1393, 1988.

. Pellizzoni, R. Lipari-;-pellizzoni, and G. Lipari, Feasibility analysis of real-time periodic tasks with offsets. Real-Time Systems, vol.30, pp.105-128, 2005.

I. Pickands and J. , Statistical inference using extreme order statistics. the Annals of Statistics, pp.119-131, 1975.

[. Poovey, Characterization of the eembc benchmark suite, 2007.

. Quinones, Using randomized caches in probabilistic real-time systems, Real-Time Systems, 2009. ECRTS'09. 21st Euromicro Conference on, pp.129-138, 2006.

K. S. Refaat and P. Hladik, Efficient stochastic analysis of real-time systems via random sampling, IEEE Euromicro Conference on Real-Time Systems (ECRTS 2010), pp.175-183, 2010.

J. Reineke, Randomized caches considered harmful in hard real-time systems, Leibniz Transactions on Embedded Systems, vol.1, issue.1, pp.3-4, 2014.

, Radio technical commission for aeronautics (rtca) and european organisation for civil aviation equipment (eurocae). do-178c: Software considerations in airborne systems and equipment certification, vol.39, p.20, 2011.

, Sae international. aerospace recommended practices 4761-guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment, vol.20, 1996.

, Sae international. aerospace recommended practices 4754a-development of civil aircraft and systems, vol.20, 2010.

[. Santinelli, C. Santinelli, L. Cucu-grosjean, and L. , , 2011.

, Toward probabilistic real-time calculus, ACM SIGBED Review, vol.8, issue.1, pp.54-61

[. Santinelli, Probabilistic real-time guarantees: There is life beyond the i.i.d. assumption, the 20th IEEE Real-Time and Embedded Technology and Application Symposium, pp.199-208, 2017.

. Santos, Sequential composition of execution time distributions by convolution, Proc. 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2011), pp.30-37, 2011.

[. Sha, , 2004.

, Real time scheduling theory: A historical perspective. Real-time systems, vol.28, pp.101-155

[. Sha, Priority inheritance protocols: An approach to real-time synchronization. Computers, IEEE Transactions on, vol.39, issue.9, pp.1175-1185, 1990.

S. Shapiro and C. Brain, W-test for the weibull distribution, Communications in statistics. Simulation and computation, vol.16, issue.1, pp.209-219, 1987.

. Bibliography-[simalatsar, Enabling parametric feasibility analysis in real-time calculus driven performance evaluation, Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems, pp.155-164, 2011.

J. A. Stankovic, Real-time computing systems: The next generation, 1988.

J. Staschulat and R. Ernst, Multiple process execution in cache related preemption delay analysis, Proceedings of the 4th ACM international conference on Embedded software, vol.69, pp.730-737, 1974.
DOI : 10.1145/1017753.1017798

[. Tia, Probabilistic performance guarantee for real-time tasks with varying computation times, IEEE Real-Time and Embedded Technology and Applications Symposium, 1995.
DOI : 10.1109/rttas.1995.516213

. Tiku, M. Singh-;-tiku, and M. Singh, Testing the two parameter weibull distribution, Communications in Statistics-Theory and Methods, vol.10, issue.9, pp.907-918, 1981.
DOI : 10.1080/03610928108828082

C. ;. Tindell, K. Tindell, and J. Clark, Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and microprogramming, vol.40, pp.117-134, 1994.
DOI : 10.1016/0165-6074(94)90080-9

S. Vestal, Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance, RTSS 2007. 28th IEEE International, pp.239-243, 2007.
DOI : 10.1109/rtss.2007.47

[. Wartel, Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study, the 8th IEEE International Symposium on Industrial Embedded Systems (SIES). BIBLIOGRAPHY 195, vol.73, pp.812-815, 1978.
DOI : 10.1109/sies.2013.6601497

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

I. Wenzel, Measurement-based timing analysis of superscalar processors, 2006.
DOI : 10.1109/qsic.2005.49

URL : http://www.vmars.tuwien.ac.at/~raimund/papers/rr-2005-056_qsic05_principles-timing-anomalies.pdf

[. Wenzel, Automatic timing model generation by cfg partitioning and model checking, Design, Automation and Test in Europe, 2005. Proceedings, pp.606-611, 2005.
DOI : 10.1109/date.2005.76

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

[. Wilhelm, , 2008.

, The worst-case execution-time problem, overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems (TECS), vol.7, issue.3, p.36

[. Wong, The role of software in recent catastrophic accidents, 2009.

[. Yao, Feasibility analysis under fixed priority scheduling with limited preemptions, Real-Time Systems, vol.47, issue.3, pp.198-223, 2011.

[. Zeng, Statistical analysis of controller area network message response times, Industrial Embedded Systems, 2009. SIES '09. IEEE International Symposium on, pp.1-10, 2009.

[. Zeng, Stochastic analysis of can-based real-time automotive systems, Industrial Informatics, vol.5, issue.4, pp.388-401, 2009.

[. Zeng, Using statistical methods to compute the probability distribution of message response time in controller area network, Industrial Informatics, vol.6, issue.4, pp.678-691, 2010.

. Bibliography-[ziccardi, EPC: extended path coverage for measurement-based probabilistic timing analysis, IEEE Real-Time Systems Symposium, RTSS, pp.338-349, 2015.