. Iec-sc-65a, Functional safety of electrical/electronic/programmable electronic safety-related systems, The International Electrotechnical Commission, 1998.

J. Abella, E. Quiñones, F. Wartel, T. Vardanega, and F. J. Cazorla, Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA, 26th Euromicro Conference on Real-Time Systems, (ECRTS), 2014.

L. Abeni and G. Buttazzo, QoS guarantee using probabilistic deadlines, the 11th Euromicro Conference on Real-Time Systems (ECRTS'99), 1999.

L. Abeni and G. Buttazzo, Integrating Multimedia Applications in Hard Real-Time Systems, Proceedings of the 19 th IEEE Real-Time Systems Symposium, pp.4-13, 1998.

L. Abeni and G. Buttazzo, Adaptive Bandwidth Reservation for Multimedia Computing, RTCSA '99: Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications, p.70, 1999.

L. Abeni and G. Buttazzo, Hierarchical QoS Management for Time Sensitive Applications, RTAS '01: Proceedings of the Seventh Real-Time Technology and Applications Symposium (RTAS '01), p.63, 2001.

L. Abeni and G. Buttazzo, Resource Reservation in Dynamic Real-Time Systems, vol.27, pp.123-167, 2004.

K. Agrawal and S. Baruah, Intractability Issues in Mixed-Criticality Scheduling, 21. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, vol.11, pp.1-11, 2018.

B. Alahmad and S. Gopalakrishnan, A Risk-Constrained Markov Decision Process Approach to Scheduling Mixed-Criticality Job Sets, Workshop on Mixed Criticality Systems (WMC 2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01403223

B. Alahmad and S. Gopalakrishnan, Risk-Aware Scheduling of Dual Criticality Job Systems Using Demand Distributions, LITES, vol.5, issue.1, 2018.

S. Altmeyer, L. Cucu-grosjean, and R. I. Davis, Static probabilistic timing analysis for real-time systems using random replacement caches. Real-Time Systems, vol.51, pp.77-123, 2015.

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

N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. J. Wellings, Applying New Scheduling Theory to Static Priority Pre-Emptive Scheduling, Software Engineering Journal, vol.8, pp.284-292, 1993.

N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Wellings, Hard Real-Time Scheduling: The Deadline-Monotonic Approach, Proc. IEEE Workshop on Real-Time Operating Systems and Software, pp.133-137, 1991.

R. Baldoni, L. Montanari, and M. Rizzuto, On-line failure prediction in safetycritical systems, Future Generation Computer Systems, vol.45, pp.123-132, 2015.

M. Baleani, A. Ferrari, L. Mangeruca, A. Sangiovanni-vincentelli, M. Peri et al., Fault-tolerant Platforms for Automotive Safety-critical Applications, Proceedings of the 2003 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES '03, pp.170-177, 2003.

S. Baruah, A. Burns, and Z. Guo, Scheduling mixed-criticality systems to guarantee some service under all non-erroneous behaviors, Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016.

S. Baruah, A. Easwaran, and Z. Guo, MC-Fluid: Simplified and Optimally Quantified, 2015 IEEE Real-Time Systems Symposium, pp.327-337, 2015.

S. Baruah, Mixed criticality schedulability analysis is highly intractable, 2009.

S. Baruah, A scheduling model inspired by control theory, Proceedings of the 6th International Real-Time Scheduling Open Problems Seminar, 2015.

K. Sanjoy, V. Baruah, . Bonifaci, D. Gianlorenzo, H. Angelo et al., Scheduling real-time mixedcriticality jobs, Proceedings of the 35th international conference on Mathematical foundations of computer science, MFCS, pp.90-101, 2010.

K. Sanjoy, V. Baruah, . Bonifaci, D. Gianlorenzo, H. Angelo et al., Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems, J. ACM, vol.62, issue.2, p.33, 2015.

K. Sanjoy, V. Baruah, . Bonifaci, D. Gianlorenzo, A. Angelo et al., Mixed-Criticality Scheduling of Sporadic Task Systems, Algorithms -ESA 2011 -19th Annual European Symposium, pp.555-566, 2011.

K. Sanjoy, A. Baruah, R. I. Burns, and . Davis, Response-Time Analysis for Mixed Criticality Systems, Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, pp.34-43, 2011.

K. Sanjoy, A. Baruah, Z. Burns, and . Guo, Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors, 28th Euromicro Conference on Real-Time Systems, pp.131-138, 2016.

K. Sanjoy, R. R. Baruah, L. E. Howell, and . Rosier, Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor, Real-Time System, pp.301-324, 1990.

K. Sanjoy, H. Baruah, L. Li, and . Stougie, Towards the Design of Certifiable Mixedcriticality Systems, IEEE Real-Time and Embedded Technology and Applications Symposium, 2010.

K. Sanjoy, A. K. Baruah, L. E. Mok, and . Rosier, Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor, IEEE Real-Time Systems Symposium, pp.182-190, 1990.

K. Sanjoy, L. E. Baruah, R. R. Rosier, and . Howell, Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor. Real-Time Systems, vol.2, pp.301-324, 1990.

E. Bini and G. C. Buttazzo, Schedulability Analysis of Periodic Fixed Priority Systems, IEEE Transactions on Computers, vol.53, issue.11, pp.1462-1473, 2004.

E. Bini and G. C. Buttazzo, The Space of EDF Feasible Deadlines, 19th Euromicro Conference on Real-Time Systems, ECRTS'07, pp.19-28, 2007.

E. Bini, M. D. Natale, and G. C. Buttazzo, Sensitivity analysis for fixedpriority real-time systems, Real-Time Systems, vol.39, issue.1-3, 2008.

P. Binns, A robust high-performance time partitioning algorithm: the digital engine operating system (DEOS) approach, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219), 1, pages 1B6/1-1B6/12, vol.1, 2001.

J. J. Buckley, Fuzzy statistics: hypothesis testing, Soft Comput, vol.9, issue.7, pp.512-518, 2005.

A. Burns and R. Davis, Mixed-criticality systems: A Review, 2017.

G. Buttazzo and L. Abeni, Adaptive rate control through elastic scheduling, Proceedings of the 39th IEEE Conference on, vol.5, pp.4883-4888, 2000.

G. C. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 1998.

S. Chakraborty, S. Künzli, and L. Thiele, A General Framework for Analysing System Properties in Platform-Based Embedded System Designs, DATE, pp.190-195, 2003.

C. Chen and G. Beltrame, An Adaptive Markov Model for the Timing Analysis of Probabilistic Caches, ACM Trans. Design Autom. Electr. Syst, vol.23, issue.1, 2017.

W. Chen, S. Toueg, and M. K. Aguilera, On the Quality of Service of Failure Detectors, IEEE Trans. Comput, vol.51, issue.5, pp.561-580, 2002.

T. Cucinotta, L. Palopoli, G. Lipari, and . Frescor-delivarable-d-aq2v2, Control Algorithms for Coordinated Resource-Level and Application-Level Adaptation v2, 2008.

L. Cucu-grosjean, Independence -a misunderstood property of and for (probabilistic) real-time systems, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00920504

A. David and K. G. Larsen, Axel Legay, Marius Miku?ionis, and Danny Bøgsted Poulsen. Uppaal SMC tutorial, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.397-415, 2015.

R. I. Davis and A. Burns, Response Time Upper Bounds for Fixed Priority Real-Time Systems, Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS, pp.407-418, 2008.

R. I. Davis, A. Burns, and D. Griffin, On the Meaning of pWCET Distributions and their use in Schedulability Analysis, Proceedings Real-Time Scheduling Open Problems Seminar at ECRTS, 2017.

D. De-niz, K. Lakshmanan, and R. Rajkumar, On the Scheduling of Mixed-Criticality Real-Time Task Sets, Real-Time Systems Symposium, RTSS. 30th IEEE, pp.291-300, 2009.

A. Born-de-oliveira, E. Camponogara, and G. Lima, Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach, 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.173-182, 2009.

J. Luis-díaz, D. F. García, K. Kim, C. Lee, L. L. Bello et al., Stochastic Analysis of Periodic Real-Time Systems, RTSS '02: Proceedings of the 23rd IEEE Real-Time Systems Symposium, p.289, 2002.

S. Draskovic, P. Huang, and L. Thiele, On the Safety of Mixed-Criticality Scheduling, WMC 2016, Proceedings of WMC 2016, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01438846

A. Easwaran, Demand-Based Scheduling of Mixed-Criticality Sporadic Tasks on One Processor, Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, pp.78-87, 2013.

S. Edgar and A. Burns, Statistical Analysis of WCET for Scheduling, 22nd of the IEEE Real-Time Systems Symposium, 2001.

P. Ekberg and W. Yi, Bounding and shaping the demand of generalized mixedcriticality sporadic task systems, Real-Time Systems, vol.50, pp.48-86, 2014.

P. Embrechts, C. Klüppelberg, and T. Mikosch, Modelling extremal events for insurance and finance. Applications of mathematics, 1997.

R. Ernst, A. Burns, L. Thiele, and J. L. Rhun, Mixed critical system design and analysis, Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, pp.247-248, 2012.

R. Ernst and M. D. Natale, Mixed Criticality Systems -A History of Misconceptions?, IEEE Design & Test, vol.33, issue.5, pp.65-74, 2016.

X. Feng and A. Mok, A Model of Hierarchical Real-Time Virtual Resources, Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS 2002), pp.26-35, 2002.

T. Fleming, H. Huang, A. Burns, C. D. Gill, S. Baruah et al., Implementation and Evaluation of Mixedcriticality Scheduling Approaches for Sporadic Tasks, ACM Trans. Embedded Comput. Syst, vol.16, issue.3, 2017.

G. Fohler, Changing Operational Modes in the Context of Pre Run-Time Scheduling (Special Issue on Responsive Computer Systems), IEICE transactions on information and systems, vol.76, issue.11, pp.1333-1340, 1993.

, Radio Technical Commission for Aeronautics. Software Considerations in Airborne Systems and Equipment Certification, 1994.

, Radio Technical Commission for Aeronautics. Software Considerations in Airborne Systems and Equipment Certification, 2011.

G. Lipari and E. Bini, Resource Partitioning among Real-Time Applications, ECRTS'03, pp.151-158, 2003.

J. C. , F. García, and J. Méndez, A Fuzzy Logic Approach to Test Statistical Hypothesis on Means, Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, pp.316-325, 2008.

M. Gardner and J. Liu, Analyzing stochastic fixed-priority real-time systems, the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), 1999.

C. George and S. S. Vadhiyar, ADFT: An Adaptive Framework for Fault Tolerance on Large Scale Systems using Application Malleability, Procedia Computer Science, vol.9, pp.166-175, 2012.

L. George and J. F. Hermant, Characterization of the Space of Feasible Worst-Case Execution Times for Earliest-Deadline-First scheduling, Journal of Aerospace Computing, Information and Communication (JACIC), vol.6, issue.11, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00923378

L. George and J. Hermant, Characterization of the Space of Feasible Worst-Case Execution Times for Earliest-Deadline-First Scheduling, JACIC, vol.6, issue.11, pp.604-623, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00923378

O. Gettings, S. Quinton, and R. I. Davis, Mixed criticality systems with weakly-hard constraints, Proceedings of the 23rd International Conference on Real Time and Networks Systems, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01257067

P. Graydon and I. Bate, Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling, Proceedings of the Workshop on Mixed-Criticality Systems, pp.19-24, 2013.

J. Patrick, I. Graydon, and . Bate, Realistic Safety Cases for the Timing of Systems, Comput. J, vol.57, issue.5, pp.759-774, 2014.

C. Gu, N. Guan, Q. Deng, and W. Yi, Improving OCBP-based scheduling for mixed-criticality sporadic task systems, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2013, pp.247-256, 2013.

Q. Guangming, An earlier time for inserting and/or accelerating tasks. Real-Time Systems, 2009.

E. J. Gumbel, Statistics of Extremes, 1958.

Z. Guo and S. Baruah, Mixed-criticality scheduling upon varying-speed multiprocessors, Dependable, Autonomic and Secure Computing (DASC), 12th International Conference on, pp.237-244, 2014.

Z. Guo and S. Baruah, The concurrent consideration of uncertainty in WCETs and processor speeds in mixed-criticality systems, Proceedings of the 23rd International Conference on Real Time and Networks Systems (RTNS), pp.247-256, 2015.

Z. Guo, S. Sruti, B. C. Ward, and S. Baruah, Sustainability in Mixed-Criticality Scheduling, 2017 IEEE Real-Time Systems Symposium, pp.24-33, 2017.

M. Hamill, Exploring fault types, detection activities, and failure severity in an evolving safety-critical software system, Software Quality Journal, vol.23, issue.2, pp.229-265, 2015.

J. Hansen, S. Hissam, and G. Moreno, Statistical-based WCET estimation and validation, the 9th International Workshop on Worst-Case Execution Time, 2009.

J. Hansen, J. Lehoczky, H. Zhu, and R. Rajkumar, Quantized EDF scheduling in a stochastic enviroment, the 16th IEEE International Parallel and Distributed Processing Symposium (IPDPS'02), 2002.

M. Harbour, D. Sangorren, and M. Tellerea-de-esteban, FRES-COR Delivarable D-AT2: Schedulability analysis techniques for distributed systems, 2009.

D. Hardy, I. P. Static, . Case-execu-tion, . Estimation, . Architectures et al., International Conference on Real-Time Networks and Systems (RTNS), 2013.

, Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems

. Iso, Road vehicles -Functional safety, 2011.

Y. Jiang, A basic stochastic network calculus, SIGCOMM Comput. Commun. Rev, vol.36, issue.4, 2006.

Y. Kato, M. Takahashi, R. Ohtsuki, and S. Yamaguchi, A proposal of fuzzy test for statistical hypothesis, Systems, Man, and Cybernetics, vol.4, pp.2929-2934, 2000.

A. Kritikakou, C. Pagetti, O. Baldellon, M. Roy, and C. Rochange, Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems, 26th Euromicro Conference on Real-Time Systems, ECRTS 2014, pp.119-128, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01015476

M. Kwiatkowska, G. Norman, and D. Parker, Stochastic Model Checking, Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation SFM, 4486 of LNCS (Tutorial Volume), pp.220-270, 2007.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Realtime Systems, Proc. 23rd International Conference on Computer Aided Verification CAV, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

Z. Lan and Y. Li, Adaptive Fault Management of Parallel Applications for High-Performance Computing, IEEE Trans. Comput, vol.57, issue.12, pp.1647-1660, 2008.

J. Y. Le-boudec and P. Thiran, Network calculus: A Theory of Deterministic Queuing Systems for the Internet, 2001.

R. Leadbetter, G. Lindgren, and H. Rootzén, Conditions for the convergence in distribution of maxima of stationary normal processes, Stochastic Processes and their Applications, vol.8, pp.131-139, 1978.

. Mr-leadbetter, On a basis for Peaks over Threshold modeling, Statistics & Probability Letters, vol.12, issue.4, pp.357-362, 1991.

C. Lee, J. Hahn, Y. Seo, S. Lyul-min, R. Ha et al., Analysis of Cache-Related Preemption Delay in Fixed-Priority Preemptive Scheduling, IEEE Trans. Comput, vol.47, issue.6, pp.700-713, 1998.

J. Lehoczky, Real-time queueing theory, the 17th IEEE Real-Time Systems Symposium (RTSS'96), 1996.

J. P. Lehoczky, L. Sha, and Y. Ding, The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior, IEEE Real-Time Systems Symposium, pp.166-171, 1989.

J. P. Lehoczky, L. Sha, and J. K. Strosnider, Enhanced Aperiodic Responsiveness in Hard Real-Time Environments, Proceedings of the IEEE Real-Time System Symposium (RTSS 1987), 1997.

J. P. Lehoczky, Real-Time Queueing Theory, 10th of the IEEE Real-Time Systems Symposium (RTSS), 1996.

J. P. Lehoczky, L. Sha, and Y. Ding, The rate monotonic sheduling algorithm: exact characterization and average case bahavior, Proceedings of the IEEE Real-Time Systems Symposium, 1989.

B. Lesage, D. Griffin, S. Altmeyer, and R. I. Davis, Static Probabilistic Timing Analysis for Multi-path Programs, 2015 IEEE Real-Time Systems Symposium, RTSS 2015, pp.361-372, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01231729

J. Leung and J. W. Withehead, On the complexity of fixed priority scheduling of periodic real-time tasks, Performance Evaluation, vol.2, issue.4, 1982.

J. Li, D. Ferry, S. Ahuja, K. Agrawal, C. Gill et al., Mixed-Criticality Federated Scheduling for Parallel Real-Time Tasks, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.1-12, 2016.

G. Lima, D. Dias, and E. Barros, Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look, 28th Euromicro Conference on Real-Time Systems, (ECRTS), 2016.

C. L. Liu and J. W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.

D. Liu, J. Spasic, N. Guan, G. Chen, S. Liu et al., EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees, Proceedings of the 37th IEEE Real-Time Systems Symposium, 2016.

J. José-maría-lópez, J. Luis-díaz, D. F. Entrialgo, and . García, Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Real-Time Systems, vol.40, pp.180-207, 2008.

Y. Lu, T. Nolte, I. Bate, and L. Cucu-grosjean, A statistical response-time analysis of real-time embedded systems, the 33rd IEEE Real-Time Systems Symposium (RTSS'12), 2012.

C. Maiza, H. Rihani, J. M. Rivas, J. Goossens, S. Altmeyer et al., A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems, 2018.

S. Manolache, P. Eles, and Z. Peng, Schedulability analysis of applications with stochastic task execution times, ACM Transactions on Embedded Computing Systems (TECS), vol.3, issue.4, pp.706-735, 2004.

A. Maxiaguine, S. Künzli, and L. Thiele, Workload Characterization Model for Tasks with Variable Execution Demand, DATE '04: Proceedings of the conference on Design, automation and test in Europe, p.21040, 2004.

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

D. Maxim, R. I. Davis, L. Cucu-grosjean, and A. Easwaran, Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling, Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01614684

I. Dorin, R. Maxim, L. Davis, A. Cucu-grosjean, and . Easwaran, Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC, WMC 2016 -4th International Workshop on Mixed Criticality Systems, 2016.

C. Mercer, R. Rajkumar, and J. Zelenka, Temporal protection in real-time operating systems, Real-Time Operating Systems and Software, 1994. RTOSS '94, Proceedings., 11th IEEE Workshop on, pp.79-83, 1994.

S. Milutinovic, J. Abella, and F. J. Cazorla, Modelling Probabilistic Cache Representativeness in the Presence of Arbitrary Access Patterns, 19th IEEE International Symposium on Real-Time Distributed Computing, pp.142-149, 2016.

V. Nelis, J. Goossens, and B. Andersson, Two Protocols for Scheduling Multimode Real-Time Systems upon Identical Multiprocessor Platforms, ECRTS '09: Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems, pp.151-160, 2009.

J. R. Norris, Markov Chains. Cambridge Series in Statistical and Probabilistic Mathematics, 1997.

. Risat-mahmud-pathan, Fault-tolerant and real-time scheduling for mixed-criticality systems, Real-Time Systems, vol.50, 2014.

P. Pedro and A. Burns, Schedulability Analysis for Mode Changes in Flexible Real-Time Systems, ECRTS, pp.172-179, 1998.

S. Perathoner, N. Stoimenov, and L. Thiele, Reliable Mode Changes in Real-Time Systems with Fixed Priority or EDF Scheduling, TIK Report, vol.292, 2008.

T. X. Linh, I. Phan, O. Lee, and . Sokolsky, Compositional Analysis of Multi-mode Systems, ECRTS '10: Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems, pp.197-206, 2010.

M. Piera-martinez, Modélisation des comportements extrêmes en ingénierie. Theses, 2008.

M. L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1994.

E. Quinones, E. D. Berger, G. Bernat, and F. J. Cazorla, Using Randomized Caches in Probabilistic Real-Time Systems, 22nd Euromicro Conference on Real-Time Systems (ECRTS), pp.129-138, 2009.

S. Ramanathan and A. Easwaran, MC-Fluid: rate assignment strategies, WMC workshop at RTSS, 2015.

J. Real and A. Crespo, Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal. Real-Time Systems, vol.26, pp.161-197, 2004.

I. Saha, S. Baruah, and R. Majumdar, Dynamic scheduling for networked control systems, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC, 2015.

C. Scarrott and A. Macdonald, A REVIEW OF EXTREME VALUE THRESH-OLD ESTIMATION AND UNCERTAINTY QUANTIFICATION. REVSTAT-Statistical Journal, vol.10, issue.1, pp.33-60, 2012.

L. Sha, R. Rajkumar, J. Lehoczky, and K. Ramamritham, Mode change protocols for priority-driven preemptive scheduling, Real-Time Systems, vol.1, issue.3, pp.243-264, 1989.

I. Shin and I. Lee, Periodic Resource Model for Compositional Real-Time Guarantees, Proceedings of the 24 th Real-Time Systems Symposium, pp.2-13, 2003.

I. Shin and I. Lee, Periodic Resource Model for Compositional Real-Time Guarantees, RTSS '03: Proceedings of the 24th IEEE International Real-Time Systems Symposium, 2003.

Y. Shin, D. Kim, and K. Choi, Schedulability-driven performance analysis of multiple mode embedded real-time systems, DAC '00: Proceedings of the 37th Annual Design Automation Conference, pp.495-500, 2000.

B. Sprunt, L. Sha, and J. P. Lehoczky, Aperiodic Task Scheduling for Hard Real-Time Systems, Journal of Real-time Systems, 1989.

M. Stoelinga, An introduction to probabilistic automata, Bulletin of the European Association for Theoretical Computer Science, pp.176-198, 2002.

N. Stoimenov, S. Perathoner, and L. Thiele, Reliable Mode Changes in Real-Time Systems with Fixed Priority or EDF Scheduling, DATE, 2009.

L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard realtime systems, ISCAS, 4, pp.101-104, 2000.

L. Thiele, E. Wandeler, and N. Stoimenov, Real-Time Interfaces for Composing Real-Time Systems, EMSOFT, pp.34-43, 2006.

T. Tia, Z. Deng, M. Storch, J. Sun, L. Wu et al., Probabilistic performance guarantee for real-time tasks with varying computation times, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'95), 1995.

T. S. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun et al., Probabilistic Performance Guarantee for Real-Time Tasks with Varying Computation Times, IEEE Real-Time and Embedded Technology and Applications Symposium, 1995.

K. W. Tindell, A. Burns, and A. J. Wellings, Mode changes in priority pre-emptively scheduled systems, RTSS, pp.100-109, 1992.

M. G. Valls, A. Alonso, and J. A. De-la-puente, Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems. Embedded Software and Systems, Second International Conference on, vol.0, pp.221-230, 2009.

S. Vestal, Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance, Proceedings of the 28th IEEE International Real-Time Systems Symposium, RTSS, pp.239-243, 2007.

E. Wandeler and L. Thiele, Real-Time Calculus (RTC) Toolbox

F. Wartel, L. Kosmidis, C. Lo, B. Triquet, E. Quiñones et al., Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study, 8th IEEE International Symposium on Industrial Embedded Systems, SIES, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00920538

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem -overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems (TECS), vol.7, issue.3, pp.1-53, 2008.

H. C. Wong and A. Burns, Schedulability Analysis for the Abort-and-Restart (AR) Model, Proceedings of the 22Nd International Conference on Real-Time Networks and Systems (RTNS), 2014.

J. Xie and Y. Jiang, Stochastic Network Calculus Models under Max-Plus Algebra, Proceedings of the Global Communications Conference (GLOBECOM), pp.1-6, 2009.

S. Zhou, An efficient simulation algorithm for cache of random replacement policy, the 7th IFIP international conference on Network and parallel computing (NPC2010), pp.144-154, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01054982

H. Zhu, J. Hansen, J. Lehoczky, and R. Rajkumar, Optimal partitioning for quantized EDF scheduling, the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002.

K. Berezovskyi, F. Guet, L. Santinelli, K. Bletsas, and E. Tovar, Measurement-based probabilistic timing analysis for graphics processor units, Architecture of Computing Systems -ARCS 2016 -29th International Conference, pp.223-236, 2016.

K. Berezovskyi, L. Santinelli, K. Bletsas, and E. Tovar, WCET measurementbased and extreme value theory characterisation of CUDA kernels, 22nd International Conference on Real-Time Networks and Systems, RTNS '14, p.279, 2014.

M. Boyer, G. Dufour, and L. Santinelli, Continuity for network calculus, 21st International Conference on Real-Time Networks and Systems, RTNS 2013, pp.235-244, 2013.

G. C. Buttazzo and L. Santinelli, Adaptive mechanisms for component-based real-time systems, NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2015, pp.1-8, 2015.

L. Carnevali, A. Melani, L. Santinelli, and G. Lipari, Probabilistic deadline miss analysis of real-time systems using regenerative transient analysis, 22nd International Conference on Real-Time Networks and Systems, RTNS '14, p.299, 2014.

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

C. Chen, L. Santinelli, J. Hugues, and G. Beltrame, Static probabilistic timing analysis in presence of faults, 11th IEEE Symposium on Industrial Embedded Systems, SIES 2016, pp.149-158, 2016.

N. Christian, M. Mauro, S. Luca, P. Paolo, G. Lipari et al., Baccarat: a dynamic real-time bandwidth allocationpolicy for ieee 802.15.4, Proceedings of IEEE Percom 2010, International Workshop on Sensor Networks and Systems for Pervasive Computing, 2010.

L. Cucu-grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega et al., Measurement-based probabilistic timing analysis for multi-path programs, the 24th Euromicro Conference on Real-Time Systems ECRTS, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00765987

C. Damman, G. Edison, F. Guet, E. Noulard, L. Santinelli et al., Architectural performance analysis of FPGA synthesized LEON processors, 2016 International Symposium on Rapid System Prototyping, pp.33-40, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01543282

R. I. Davis, L. Santinelli, S. Altmeyer, C. Maiza, and L. Cucu-grosjean, Analysis of probabilistic cache related pre-emption delays, Proceedings of the 25th IEEE Euromicro Conference on Real-Time Systems (ECRTS'13), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00920913

S. Gil, I. Bate, G. Lima, L. Santinelli, A. Gogonel et al., Open challenges for probabilistic measurement-based worst-case execution time, Embedded Systems Letters, vol.9, issue.3, pp.69-72, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01633802

N. Gobillot, D. Doose, C. Lesire, and L. Santinelli, Periodic state-machine aware realtime analysis, 20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, pp.1-8, 2015.

N. Gobillot, F. Guet, D. Doose, C. Grand, C. Lesire et al., Measurement-based real-time analysis of robotic software architectures, IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016, pp.3306-3311, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01411373

F. Guet, L. Santinelli, and J. Morio, 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

F. Guet, L. Santinelli, and J. Morio, On the representativity of execution time measurements: Studying dependence and multi-mode tasks, 17th International Workshop on Worst-Case Execution Time Analysis, vol.3, pp.1-3, 2017.

F. Guet, L. Santinelli, J. Morio, G. Phavorin, and E. Jenn, Toward contention analysis for parallel executing real-time tasks, 18th International Workshop on Worst-Case Execution Time Analysis, vol.4, pp.1-4, 2018.

Z. Guo, L. Santinelli, and K. Yang, EDF schedulability analysis on mixed-criticality systems with permitted failure probability, 21th IEEE International Conference on Embedded and Real-Time Computing System and Applications, 2015.

Z. Guo, L. Santinelli, and K. Yang, Mixed-criticality scheduling with limited hi-criticality behaviors, Dependable Software Engineering. Theories, Tools, and Applications -4th International Symposium, SETTA 2018, pp.187-199, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02003409

K. Huang, L. Santinelli, J. Chen, L. Thiele, and G. C. Buttazzio, Adaptive dynamic power management for hard real-time systems, the 30th IEEE Real-Time Systems Symposium (RTSS), pp.23-32, 2009.

K. Huang, L. Santinelli, J. Chen, L. Thiele, and G. C. Buttazzio, Periodic power management schemes for real-time event streams, the 48th IEEE Conf. on Decision and Control (CDC), pp.6224-6231, 2009.

K. Huang, L. Santinelli, J. Chen, L. Thiele, and G. C. Buttazzio, Adaptive power management for real-time event streams, the 15th IEEE Conf. on Asia and South Pacific Design Automation Conference (ASP-DAC), pp.7-12, 2010.

K. Huang, L. Santinelli, J. Chen, L. Thiele, and G. C. Buttazzo, Adaptive dynamic power management for hard real-time streams, Real-Time Systems Journal (submitted), 2010.

K. Huang, L. Santinelli, J. Chen, L. Thiele, and G. C. Buttazzo, Periodic power management schemes for real-time event streams, EURASIP Journal on Embedded Systems, 2010.

D. Khan, B. Nefzi, L. Santinelli, and Y. Song, Probabilistic bandwidth assignment in wireless sensor networks, Wireless Algorithms, Systems, and Applications -7th International Conference, vol.2012, pp.631-647, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00745184

D. Khan, L. Santinelli, and L. Cucu-grosjean, Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis, 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, pp.166-175, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00765989

T. Kloda, L. Bruno-d'ausbourg, and . Santinelli, EDF schedulability analysis for an extended timing definition language, Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014, pp.30-40, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01067909

T. Kloda, L. Bruno-d'ausbourg, and . Santinelli, Towards EDF schedulability analysis of an extended timing definition language, SIGBED Review, vol.11, issue.3, pp.44-49, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01082722

T. Kloda, L. Bruno-d'ausbourg, and . Santinelli, EDF schedulability test for the E-TDL timetriggered framework, 11th IEEE Symposium on Industrial Embedded Systems, SIES 2016, pp.73-82, 2016.

D. Maxim, O. Buffet, L. Santinelli, L. Cucu-grosjean, and R. Davis, Optimal priority assignment algorithms for probabilistic real-time systems, the 19th International Conference on Real-Time and Networked Systems (RTNS'11), 2011.

D. Maxim, M. Houston, L. Santinelli, G. Bernat, R. I. Davis et al., Re-sampling for statistical timing analysis of real-time systems, the 20th International Conference on Real-Time and Network Systems (RTNS'12), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00766045

D. Maxim, L. Santinelli, and L. Cucu-grosjean, Improved sampling for statistical timing analysis of real-time systems, Proceedings of the 4th Junior Researcher Workshop on Real-Time Computing, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00544651

A. Melani, E. Noulard, and L. Santinelli, Learning from probabilities: Dependences within real-time systems, the 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'13), 2013.

A. Montesanto, G. Tascini, P. Baldassarri, and L. Santinelli, Analysis of fingerprints through a reactive agent, Systemics of Emergence: Research and Development, pp.93-104, 2006.

L. Santinelli, J. Morio, G. Dufour, and D. Jacquemart, On the sustainability of the extreme value theory for WCET estimation, the 14th International Workshop on Worst-Case Execution Time Analysis (WCET'14), 2014.

L. Santinelli, Probabilistic component-based analysis for networks: invited paper, SIGBED Review, vol.13, issue.3, pp.65-72, 2016.

L. Santinelli, How effective is sensitivity analysis with probabilistic models, The 9th Real-Time Scheduling Open Problems Seminar at ECRTS, 2018.

L. Santinelli, G. Buttazzo, and E. Bini, Multi-moded resource reservation, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2011.

L. Santinelli, G. C. Buttazzo, and E. Bini, Multi-moded resource reservations, 17th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.37-46, 2011.

L. Santinelli, M. Chitnis, C. Nastasi, F. Checconi, G. Lipari et al., A component-based architecture for adaptive bandwidth allocation in wireless sensor networks, IEEE Symposium on Industrial Embedded Systems (SIES), 2010.

L. Santinelli and L. Cucu-grosjean, Toward probabilistic real-time calculus, 3rd CRTS) with the 31st IEEE Real-Time Systems Symposium, 2010.

L. Santinelli and L. Cucu-grosjean, A probabilistic calculus for probabilistic real-time systems, ACM Transactions on Embedded Computing Systems, vol.14, issue.3, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01244333

L. Santinelli, D. Doose, G. Durrieu, F. Boniol, C. Lesire-cabaniols et al., Schedulability analysis for mixed critical cyber physical systems, In IEEE Industrial Cyber-Physical Systems, ICPS, pp.297-303, 2018.

L. Santinelli and L. George, Probabilities and mixed-criticalities: the probabilistic c-space, 3rd International Workshop on Mixed Criticality Systems WMC at RTSS, 2016.

L. Santinelli, F. Guet, and J. Morio, Revising measurement-based probabilistic timing analysis, 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, vol.2017, pp.199-208, 2017.

L. Santinelli and Z. Guo, On the criticality of probabilistic worst-case execution time models, Dependable Software Engineering. Theories, Tools, and Applications -Third International Symposium, pp.59-74, 2017.

L. Santinelli, Z. Guo, and L. George, Fault-aware sensitivity analysis for probabilistic real-time systems, 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2016, pp.69-74, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01413104

L. Santinelli, G. Lipari, and P. Ancilotti, Extending real-time calculus to hierarchical scheduling of real-time components, Proc. on 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems CRTS'08, 2008.

L. Santinelli, M. Marinoni, F. Prosperi, F. Esposito, G. Franchino et al., Energy-aware packet and task co-scheduling for embedded systems, International Conference On Embedded Software (EMSOFT), 2010.

L. Santinelli, P. M. Yomsy, D. Maxim, and L. Cucu-grosjean, A component-based framework for modeling and analysing probabilistic real-time systems, 16th IEEE International Conference on Emerging Technologies and Factory Automation, 2011.

L. Santinelli and G. Zhishan, A sensitivity analysis for mixed criticality: Trading criticality with computational resource, the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2018.
URL : https://hal.archives-ouvertes.fr/hal-02003728

A. Schranzhofer, J. Chen, L. Santinelli, and L. Thiele, Dynamic and adaptive allocation of applications on mpsoc platforms, Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, pp.885-890, 2010.

J. Singh, Z. Guo, L. Santinelli, G. Infantes, D. Doose et al., Use of probabilities and formal methods to control system criticality levels, The 9th Real-Time Scheduling Open Problems Seminar at ECRTS, 2018.

J. Singh, L. Santinelli, and G. Infantes, Backlog estimation for suspended probabilistic tasks released synchronously, 10th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2017.

J. Singh, L. Santinelli, and G. Infantes, Rtprob -real time probabilsitic tool for probabilistic schedulability analysis using markov chain, International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), 2018.

J. Singh, L. Santinelli, G. Infantes, D. Doose, and J. Brunel, Markov chain modeling of probabilistic real-time systems, The 8th Real-Time Scheduling Open Problems Seminar at ECRTS, 2017.

J. Singh, L. Santinelli, G. Infantes, D. Doose, and J. Brunel, Mixed criticality probabilistic real-time systems analysis using discrete time markov chain, International Workshop on Mixed Criticality Systems (WMC), 2018.

N. Stoimenov, L. Thiele, L. Santinelli, and G. Buttazzo, Resource adaptations with servers for hard real-time systems, TIK Report, vol.292, 2010.

N. Stoimenov, L. Thiele, L. Santinelli, and G. Buttazzo, Resource adaptations with servers for hard real-time systems, International Conference On Embedded Software (EMSOFT), 2010.