J. Seo-hyun-jeon, Y. Cho, S. Jung, T. Park, and . Han, Automotive hardware development according to iso 26262, 13th International Conference on Advanced Communication Technology (ICACT2011), pp.588-592

, IEEE, 2011.

A. Leslie and . Johnson, Do-178b, software considerations in airborne systems and equipment certification, Crosstalk, 1998.

S. Vestal, Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance, Real-Time Systems Symposium, RTSS'07, pp.239-243, 2007.

S. Baruah, V. Bonifaci, D. Gianlorenzo, H. Angelo, A. Li et al., Scheduling real-time mixed-criticality jobs, IEEE Trans. Comput, vol.61, issue.8, pp.1140-1152, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00643942

K. Agrawal and S. Baruah, Intractability issues in mixed-criticality scheduling, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.

I. Dragomir, S. Iosti, M. Bozga, and S. Bensalem, Designing systems with detection and reconfiguration capabilities: a formal approach, International Symposium on Leveraging Applications of Formal Methods, pp.155-171
URL : https://hal.archives-ouvertes.fr/hal-01896605

. Springer, , 2018.

A. Burns and S. Baruah, Timing faults and mixed criticality systems, Dependable and Historic Computing, pp.147-166, 2011.

S. Baruah and A. Burns, Implementing mixed criticality systems in ada, International Conference on Reliable Software Technologies, pp.174-188

. Springer, , 2011.

D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Multiprocessor scheduling of precedence-constrained mixed-critical jobs, Real-Time Distributed Computing (ISORC), pp.198-207, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01212339

, IEEE, 2015.

H. Su and D. Zhu, An elastic mixed-criticality task model and its scheduling algorithm, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp.147-152, 2013.

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.

S. Baruah and S. Vestal, Schedulability analysis of sporadic tasks with multiple criticality specifications, Real-Time Systems, 2008. ECRTS '08. Euromicro Conference on, pp.147-155, 2008.

K. Sanjoy, H. Baruah, L. Li, and . Stougie, Towards the design of certifiable mixed-criticality systems, Real-Time and Embedded Technology and Applications Symposium, RTAS'10, pp.13-22, 2010.

H. Li and S. Baruah, An algorithm for scheduling certifiable mixed-criticality sporadic task systems, Real-Time Systems Symposium (RTSS), 2010 IEEE 31st, pp.183-192, 2010.

S. Baruah, A. Burns, and R. Davis, An extended fixed priority scheme for mixed criticality systems, Proc. ReTiMiCS, RTCSA, pp.18-24, 2013.

Y. Chen, G. Kang, H. Shin, and . Xiong, Generalizing fixed-priority scheduling for better schedulability in mixed-criticality systems, Information Processing Letters, vol.116, issue.8, pp.508-512, 2016.

D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Mixed critical earliest deadline first, Real-Time Systems (ECRTS), 2013 25th Euromicro Conference on, pp.93-102, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867470

R. Ha and J. Liu, Validating timing constraints in multiprocessor and distributed real-time systems, Proc. Int. Conf. Distributed Computing Systems, pp.162-171, 1994.

S. Baruah and G. Fohler, Certification-cognizant time-triggered scheduling of mixed-criticality systems, Real-Time Systems Symposium, RTSS '11, pp.3-12, 2011.

D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Time-triggered mixed-critical scheduler, Proc. WMC, RTSS, pp.67-72, 2013.

J. Theis, G. Fohler, and S. Baruah, Schedule table generation for time-triggered mixed criticality systems, Proc. WMC, RTSS, pp.79-84, 2013.

L. Mathieu-jan, V. Zaourar, L. Legout, and . Pautet, Handling criticality mode change in time-triggered systems through linear programming, Ada User Journal, Proc of Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014), vol.35, pp.138-143, 2014.

S. K. Baruah, A. Burns, and R. I. Davis, Response-time analysis for mixed criticality systems, Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd, pp.34-43, 2011.

T. Fleming, Extending mixed criticality scheduling, 2013.

H. Huang, C. Gill, and C. Lu, Implementation and evaluation of mixed-criticality scheduling approaches for sporadic tasks, ACM Transactions on Embedded Computing Systems (TECS), vol.13, issue.4s, p.126, 2014.

Q. Zhao, Z. Gu, and H. Zeng, Integration of resource synchronization and preemption-thresholds into edf-based mixed-criticality scheduling algorithm, Embedded and Real-Time Computing Systems and Applications (RTCSA), pp.227-236, 2013.

A. Burns and R. Davis, Adaptive mixed criticality scheduling with deferred preemption, Real-Time Systems Symposium (RTSS), pp.21-30, 2014.

, IEEE, 2014.

K. Sanjoy, V. Baruah, . Bonifaci, D. Gianlorenzo, A. Angelo et al., Mixed-criticality scheduling of sporadic task systems, European Symposium on Algorithms, pp.555-566

. Springer, , 2011.

S. Baruah, V. Bonifaci, G. Angelo, H. Li, A. Marchetti-spaccamela et al., The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems, Proc. ECRTS'12, pp.145-154, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00728995

S. Baruah, V. Bonifaci, D. Gianlorenzo, H. Li, A. Marchetti-spaccamela et al., Preemptive uniprocessor scheduling of mixed-criticality sporadic task systems, Journal of the ACM (JACM), vol.62, issue.2, p.14, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01249091

S. Baruah and Z. Guo, Mixed-criticality scheduling upon varying-speed processors, 2013 IEEE 34th Real-Time Systems Symposium, pp.68-77, 2013.

S. Baruah and Z. Guo, Scheduling mixed-criticality implicit-deadline sporadic task systems upon a varying-speed processor, IEEE Real-Time Systems Symposium, pp.31-40, 2014.

K. Dionisio-de-niz, R. Lakshmanan, and . Rajkumar, On the scheduling of mixed-criticality real-time task sets, Real-Time Systems Symposium, RTSS'09, pp.291-300, 2009.

K. Lakshmanan, R. Dionisio-de-niz, G. Rajkumar, and . Moreno, Resource allocation in distributed mixed-criticality cyber-physical systems, Distributed Computing Systems (ICDCS), pp.169-178, 2010.

H. Owen-r-kelly, B. Aydin, and . Zhao, On partitioned scheduling of fixedpriority mixed-criticality task sets, Trust, Security and Privacy in Computing and Communications (TrustCom), pp.1051-1059, 2011.

S. Baruah, B. Chattopadhyay, H. Li, and I. Shin, Mixed-criticality scheduling on multiprocessors. Real-Time Systems, vol.50, pp.142-177, 2014.

D. De-niz and L. T. Phan, Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms, Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.111-122, 2014.

G. Romain, R. Thomas, and L. Pautet, Adaptation of run to mixed-criticality systems, JRWRTC, p.25, 2014.

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

Z. Al-bayati, Q. Zhao, A. Youssef, H. Zeng, and Z. Gu, Enhanced partitioned scheduling of mixed-criticality systems on multicore platforms

, The 20th Asia and South Pacific Design Automation Conference, pp.630-635

, IEEE, 2015.

H. Li, K. Sanjoy, and . Baruah, Outstanding paper award: Global mixedcriticality scheduling on multiprocessors, 24th Euromicro Conference on Real-Time Systems, ECRTS 2012, 2012.

K. Sanjoy and . Baruah, Optimal utilization bounds for the fixed-priority scheduling of periodic task systems on identical multiprocessors, IEEE Transactions on Computers, vol.53, issue.6, pp.781-784, 2004.

R. Lui-sha, J. P. Rajkumar, and . Lehoczky, Priority inheritance protocols: an approach to real-time synchronization. Computers, IEEE Transactions on, vol.39, issue.9, pp.1175-1185, 1990.

A. Burns, The application of the original priority ceiling protocol to mixed criticality systems, ReTiMiCS, RTCSA, pp.7-11, 2013.

V. Brocal, P. Balbastre, R. Ballester, and I. Ripoll, Task period selection to minimize hyperperiod, ETFA2011, pp.1-4, 2011.

I. Ripoll and R. Ballester-ripoll, Period selection for minimal hyperperiod in periodic task systems, IEEE Transactions on Computers, vol.62, issue.9, pp.1813-1822, 2013.

S. Baruah, V. Bonifaci, D. Gianlorenzo, P. Angelo, H. Ekberg et al., Erratum for scheduling real-time mixed-criticality jobs, 2018.

K. Sanjoy, A. Baruah, and . Burns, Sustainable scheduling analysis, Real-Time Systems Symposium (RTSS 2006), pp.159-168, 2006.

Z. Guo, S. Sruti, C. Bryan, . Ward, K. Sanjoy et al., Sustainability in mixed-criticality scheduling, 2017.

D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Mixed critical earliest deadline first, Euromicro Conf. on Real-Time Systems, ECRTS'13, pp.93-102, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867470

D. Socci, Scheduling of Certifiable Mixed-Criticality Systems, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01684691

R. Kahil, D. Socci, P. Poplavko, and S. Bensalem, Algorithmic complexity of correctness testing in mc-scheduling, Proceedings of the 26th International Conference on Real-Time Networks and Systems, pp.180-190, 2018.

R. Kahil, D. Socci, P. Poplavko, and S. Bensalem, Predictability in mixed-criticality systems, 2018.

A. Burns, . Robert, and . Davis, A survey of research into mixed criticality systems, ACM Computing Surveys (CSUR), vol.50, issue.6, p.82, 2017.

J. W. Liu, Real-Time Systems, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00544464

H. Li and S. Baruah, Load-based schedulability analysis of certifiable mixed-criticality systems, Intern. Conf. on Embedded Software, EMSOFT '10, pp.99-108, 2010.

R. Alur, L. David, and . Dill, A theory of timed automata, Theoretical computer science, vol.126, issue.2, pp.183-235, 1994.

S. Tripakis, Fault diagnosis for timed automata, International symposium on formal techniques in real-time and fault-tolerant systems, pp.205-221

. Springer, , 2002.

F. Cassez and S. Tripakis, Fault diagnosis of timed systems, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00493633

M. Wirsing, M. M. Hölzl, M. Tribastone, and F. Zambonelli, ASCENS: engineering autonomic service-component ensembles, FMCO'11, pp.1-24, 2011.

S. Chaki and D. Kyle, DMPL: Programming and verifying distributed mixed-synchrony and mixed-critical software, 2016.

A. Abel, F. Benz, J. Doerfert, B. Dörr, S. Hahn et al., Impact of resource sharing on performance and performance prediction: A survey, CONCUR, vol.8052, pp.25-43, 2013.

P. Poplavko and D. Socci, Models for deterministic execution of real-time multiprocessor applications, Paraskevas Bourgos, Saddek Bensalem, and Marius Bozga, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01212335

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

M. Cordovilla, F. Boniol, J. Forget, E. Noulard, and C. Pagetti, Developing critical embedded systems on multicore architectures: the preludeschedmcore toolset, 19th International Conference on Real-Time and Network Systems, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00618587

S. Stuijk, M. Geilen, B. D. Theelen, and T. Basten, Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications, SAMOS'11. IEEE, 2011.

G. Giannopoulou, P. Poplavko, D. Socci, P. Huang, N. Stoimenov et al.,

. Dol-bip-critical, A tool chain for rigorous design and implementation of mixedcriticality multi-core systems, Technical Report, vol.363, 2016.

D. Socci and P. Poplavko, Saddek Bensalem, and Marius Bozga. A timedautomata based middleware for time-critical multicore applications, Proc. SEUS'15, 2015.

T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, Times -a tool for modelling and implementation of embedded systems, Proc. Tools and Algorithms for the Construction and Analysis of Systems, pp.460-464

. Springer, , 2002.

E. Fersman, P. Krcál, P. Pettersson, and W. Yi-0001, Task automata: Schedulability, decidability and undecidability, vol.205, pp.1149-1172, 2007.

T. Abdellatif, J. Combaz, and J. Sifakis, Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, 2010.

D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Modeling mixed-critical systems in real-time BIP, ReTiMiCs'2013, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867465

S. Bensalem, M. Bozga, J. Combaz, and A. Triki, Rigorous system design flow for autonomous systems, ISoLA'14, pp.184-198, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01898220

R. Pellizzoni, . Bach-duy, M. Bui, L. Caccamo, and . Sha, Coscheduling of CPU and I/O transactions in cots-based embedded systems, RTSS'08, pp.221-231, 2008.

S. Sriram and E. A. Lee, Determining the order of processor transactions in statically scheduled multiprocessors, VLSI Signal Processing, vol.15, issue.3, pp.207-220, 1997.

S. Baruah and G. Fohler, Certification-cognizant time-triggered scheduling of mixed-criticality systems, RTSS '11, pp.3-12, 2011.

D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Time-triggered mixed-critical scheduler on single-and multi-processor platforms

S. Baruah, Semantics-preserving implementation of multirate mixed-criticality synchronous programs, RTNS'12, pp.11-19, 2012.

,. E. M-perrotin, . Conquet, T. Dissaux, J. Tsiodras, and . Hugues, The TASTE toolset: turning human designed heterogeneous systems into computer built homogeneous software, ERTSS'10, 2010.

A. Hansson, K. Goossens, M. Bekooij, and J. Huisken, Compsoc: A template for composable and predictable multi-processor system on chips, ACM Transactions on Design Automation of Electronic Systems (TODAES), vol.14, issue.1, 2009.

A. Zerzelidis and A. J. Wellings, A framework for flexible scheduling in the RTSJ, ACM Trans. Embedded Comput. Syst, vol.10, issue.1, 2010.

M. J. Heijligers, The Application of Genetic Algorithms to High-Level Synthesis, 1996.

D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Multiprocessor scheduling of precedence-constrained mixed-critical jobs, ISORC'15, pp.198-207, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01212339

H. Shah, A. Coombes, A. Raabe, K. Huang, and A. Knoll, Measurement based wcet analysis for multi-core architectures, RTNS '14, 2014.

B. Dupont-de-dinechin, D. Van-amstel, M. Poulhiès, and G. Lager, Time-critical computing on a single-chip massively parallel processor
URL : https://hal.archives-ouvertes.fr/hal-01090449

. Edaa, , 2014.