T. Henzinger, B. Horowitz, and C. Kirsch, Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, vol.91, issue.1, pp.84-99, 2003.
DOI : 10.1109/JPROC.2002.805825

P. Axer, R. Ernst, H. Falk, A. Girault, D. Grund et al., Building timing predictable embedded systems, ACM Transactions on Embedded Computing Systems, vol.13, issue.4, p.82, 2014.
DOI : 10.1145/2560033
URL : https://hal.archives-ouvertes.fr/hal-01095461

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

T. A. Henzinger, Two challenges in embedded systems design: predictability and robustness, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.39, issue.1881, pp.3727-3736, 2008.
DOI : 10.1098/rsta.2008.0141

S. Resmerita, A. Naderlinger, M. Huber, K. Butts, and W. Pree, Applying Real-Time Programming to Legacy Embedded Control Software, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, pp.1-8, 2015.
DOI : 10.1109/ISORC.2015.36

D. Ziegenbein and A. Hamann, Timing-aware control software design for automotive systems, Proceedings of the 52nd Annual Design Automation Conference on, DAC '15, p.56, 2015.
DOI : 10.1145/2744769.2747947

C. Aussaguès, Deterministic and dependable (also known as predictable and robust) embedded real-time systems. . . . . . with the OASIS and PharOS technology, 2012, invited Talk at the 17th IEEE International Conference on Engineering of Complex Computer Systems

T. C. Hu, Parallel Sequencing and Assembly Line Problems, Operations Research, vol.9, issue.6, pp.841-848, 1961.
DOI : 10.1287/opre.9.6.841

H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications, 2011.

J. Nowotsch, M. Paulitsch, D. Buhler, H. Theiling, S. Wegener et al., Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement, 2014 26th Euromicro Conference on Real-Time Systems, pp.109-118, 2014.
DOI : 10.1109/ECRTS.2014.20

H. Yun, G. Yao, R. Pellizzoni, M. Caccamo, and L. Sha, Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality, 2012 24th Euromicro Conference on Real-Time Systems, pp.299-308, 2012.
DOI : 10.1109/ECRTS.2012.32

?. Memguard, Memory bandwidth reservation system for efficient performance isolation in multi-core platforms, Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.55-64, 2013.

G. Yao, H. Yun, Z. P. Wu, R. Pellizzoni, M. Caccamo et al., Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems, IEEE Transactions on Computers, vol.65, issue.2, pp.601-614, 2016.
DOI : 10.1109/TC.2015.2425874

J. Nowotsch and M. Paulitsch, Quality of service capabilities for hard real-time applications on multi-core processors, Proceedings of the 21st International conference on Real-Time Networks and Systems, RTNS '13, pp.151-160, 2013.
DOI : 10.1145/2516821.2516826

J. Nowotsch and M. Paulitsch, Leveraging Multi-core Computing Architectures in Avionics, 2012 Ninth European Dependable Computing Conference, pp.132-143, 2012.
DOI : 10.1109/EDCC.2012.27

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.
DOI : 10.1145/321738.321743

R. Pellizzoni, E. Betti, S. Bak, G. Yao, J. Criswell et al., A Predictable Execution Model for COTS-Based Embedded Systems, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.269-279, 2011.
DOI : 10.1109/RTAS.2011.33

A. Alhammad and R. Pellizzoni, Time-predictable execution of multithreaded applications on multicore systems, Design, Automation and Test in Europe Conference and Exhibition (DATE), pp.1-6, 2014.

M. Schoeberl, W. Puffitsch, and B. Huber, Towards Time-Predictable Data Caches for Chip-Multiprocessors, Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, ser. SEUS '09, pp.180-191, 2009.
DOI : 10.1007/978-3-642-10265-3_17

R. Arnold, F. Mueller, D. Whalley, and M. Harmon, Bounding worstcase instruction cache performance, Real-Time Systems Symposium Proceedings, pp.172-181, 1994.

F. Mueller, Static cache simulation and its applications, 1995.

C. Lee, J. Hahn, Y. Seo, S. L. Min, R. Ha et al., Analysis of cache-related preemption delay in fixed-priority preemptive scheduling, IEEE Transactions on Computers, vol.47, issue.6, pp.700-713, 1998.

F. E. Allen, Control flow analysis, ACM SIGPLAN Notices, vol.5, issue.7, pp.1-19, 1970.
DOI : 10.1145/390013.808479

H. S. Negi, T. Mitra, and A. Roychoudhury, Accurate estimation of cache-related preemption delay, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign & system synthesis , CODES+ISSS '03, pp.201-206, 2003.
DOI : 10.1145/944645.944698

S. Altmeyer and C. Maizaburguì-ere, Cache-related preemption delay via useful cache blocks: Survey and redefinition, Journal of Systems Architecture, vol.57, issue.7, pp.707-719, 2011.
DOI : 10.1016/j.sysarc.2010.08.006

L. Abdallah, M. Jan, J. Ermont, and C. Fraboul, Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores, 10th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.59-68, 2015.
DOI : 10.1109/SIES.2015.7185041

A. Burns, J. Harbin, and L. S. Indrusiak, A Wormhole NoC Protocol for Mixed Criticality Systems, 2014 IEEE Real-Time Systems Symposium, pp.184-195, 2014.
DOI : 10.1109/RTSS.2014.13

C. Chou and R. Marculescu, Contention-aware application mapping for network-on-chip communication architectures, IEEE Intl. Conf. on Computer Design (ICCD), pp.164-169, 2008.

C. Chou, U. Y. Ogras, and R. Marculescu, Energy- and Performance-Aware Incremental Mapping for Networks on Chip With Multiple Voltage Levels, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.10, pp.1866-1879, 2008.
DOI : 10.1109/TCAD.2008.2003301

B. D. De-dinechin, D. Van-amstel, M. Poulhì, and G. Lager, Timecritical computing on a single-chip massively parallel processor, Proc. of the Conf. on Design, Automation & Test in Europe (DATE'14), pp.971-97, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01090449

E. L. De-souza-carvalho, N. L. Calazans, and F. G. Moraes, Dynamic Task Mapping for MPSoCs, IEEE Design & Test of Computers, vol.27, issue.5, pp.26-35, 2010.
DOI : 10.1109/MDT.2010.106

M. Fattah, M. Daneshtalab, P. Liljeberg, and J. Plosila, Smart hill climbing for agile dynamic mapping in many-core systems, Proceedings of the 50th Annual Design Automation Conference on, DAC '13, pp.39-2013
DOI : 10.1145/2463209.2488782

M. Fattah, A. Rahmani, T. C. Xu, A. Kanduri, P. Liljeberg et al., Mixed-criticality run-time task mapping for nocbased many-core systems, 22nd Euromicro Intl. Conf. on Parallel, Distributed and Network-Based Processing (PDP), pp.458-465, 2014.

M. Fattah, M. Ramirez, M. Daneshtalab, P. Liljeberg, and J. Plosila, CoNA: Dynamic application mapping for congestion reduction in many-core systems, 2012 IEEE 30th International Conference on Computer Design (ICCD), pp.364-370, 2012.
DOI : 10.1109/ICCD.2012.6378665

V. Nélis, P. M. Yomsi, L. M. Pinho, J. C. Fonseca, M. Bertogna et al., The Challenge of Time- Predictability in Modern Many-Core Architectures, 14th Intl. Workshop on Worst-Case Execution Time Analysis, pp.63-72, 2014.

A. Racu and L. S. Indrusiak, Using genetic algorithms to map hard realtime on noc-based systems, 7th Intl. Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), pp.1-8, 2012.

B. Yang, L. Guang, T. Säntti, and J. Plosila, Tree-model based contention-aware task mapping on many-core networks-on-chip, Communications in Information Science and Management Engineering, 2012.

C. Zimmer and F. Mueller, Low Contention Mapping of Real-Time Tasks onto TilePro 64 Core Processors, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, pp.131-140, 2012.
DOI : 10.1109/RTAS.2012.36

A. Church, An Unsolvable Problem of Elementary Number Theory, American Journal of Mathematics, vol.58, issue.2, pp.345-363, 1936.
DOI : 10.2307/2371045

C. Belwal and A. M. Cheng, A Utilization Based Sufficient Condition for P-FRP, 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing, pp.237-242, 2011.
DOI : 10.1109/EUC.2011.11

C. Belwal and A. M. Cheng, On priority assignment in P-FRP

E. Bini and G. C. Buttazzo, Measuring the performance of schedulability tests. Real-Time System, pp.129-154, 2005.

H. C. Wong and A. Burns, Improved Priority Assignment for the Abortand- Restart (AR) Model, 2013.

H. C. Wong and A. Burns, Priority-Based Functional Reactive Programming (P-FRP) Using Deferred Abort, 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications, 2015.
DOI : 10.1109/RTCSA.2015.12

K. R. Christoffersen and A. M. Cheng, Model-based design: Antilock brake system with priority-based functional reactive programming

Q. Zhou, Y. Li, X. Zou, A. M. Cheng, and Y. Jiang, Worst Case Response Time and Schedulability Analysis for Real-Time Software Transactional Memory-Lazy Conflict Detection (STM-LCD) DPRTCPS workshop, 2015.

R. Kaiabachev, W. Taha, and A. Zhu, E-FRP with priorities, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007.
DOI : 10.1145/1289927.1289963

S. Kleene, A Theory of Positive Integers in Formal Logic. Part I, American Journal of Mathematics, vol.57, issue.1, pp.153-173, 1935.
DOI : 10.2307/2372027

X. Zou, A. M. Cheng, and Y. Jiang, A Non-Work-Conserving Model for P-FRP Fixed Priority Task Scheduling

Y. Jiang, A. M. Cheng, and X. Zou, Schedulability Analysis for Real-Time P-FRP Tasks under Fixed Priority Scheduling, 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications, 2015.
DOI : 10.1109/RTCSA.2015.28

Y. Jiang, Q. Zhou, X. Zou, A. M. Cheng, and X. Zou, Minimal Schedulability Testing Interval for Real-Time Periodic Tasks with Arbitrary Release Offsets, 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014.
DOI : 10.1109/HPCC.2014.93

Z. Kazemi and A. M. Cheng, A Scratchpad Memory-Based Execution Platform for Functional Reactive Systems and Its Static Timing Analysis, 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
DOI : 10.1109/RTCSA.2016.43

Z. Wan and P. Hudak, Functional reactive programming from first principles, ACM SIGPLAN PLDI, 2000.

G. C. Buttazzo, M. Bertogna, and G. Yao, Limited Preemptive Scheduling for Real-Time Systems. A Survey, IEEE Transactions on Industrial Informatics, vol.9, issue.1, pp.3-15, 2013.
DOI : 10.1109/TII.2012.2188805

K. Jeffay, D. F. Stanat, and C. U. Martel, On non-preemptive scheduling of periodic and sporadic tasks, RTSS'91, pp.129-139, 1991.

J. V. Busquets-mataix, J. J. Serrano, R. Ors, P. Gil, and A. Wellings, Adding instruction cache effect to schedulability analysis of preemptive real-time systems, Proceedings Real-Time Technology and Applications, pp.204-212, 1996.
DOI : 10.1109/RTTAS.1996.509537

C. Lee, J. Hahn, Y. Seo, S. L. Min, R. Ha et al., Analysis of cache-related preemption delay in fixed-priority preemptive scheduling, Computers, IEEE Transactions on, vol.47, issue.6, pp.700-713, 1998.

H. Tomiyama and N. D. Dutt, Program path analysis to bound cache-related preemption delay in preemptive real-time systems, Proceedings of the eighth international workshop on Hardware/software codesign, pp.67-71, 2000.

J. Staschulat, S. Schliecker, and R. Ernst, Scheduling analysis of realtime systems with precise modeling of cache related preemption delay, ECRTS'05, pp.41-48, 2005.

Y. Tan and V. Mooney, Timing analysis for preemptive multitasking real-time systems with caches, ACM Transactions on Embedded Computing Systems, vol.6, issue.1, p.7, 2007.
DOI : 10.1145/1210268.1210275

S. Altmeyer, R. Davis, and C. Maiza, Cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems, RTSS'11, pp.261-271, 2011.

S. Altmeyer, R. I. Davis, and C. Maiza, Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems, Real-Time Systems, vol.6, issue.1, pp.499-526, 2012.
DOI : 10.1007/s11241-012-9152-2

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.
DOI : 10.1145/321738.321743

S. Altmeyer, R. I. Davis, L. Indrusiak, C. Maiza, V. Nelis et al., A generic and compositional framework for multicore response time analysis, Proceedings of the 23rd International Conference on Real Time and Networks Systems, RTNS '15, pp.129-138, 2015.
DOI : 10.1145/2834848.2834862
URL : https://hal.archives-ouvertes.fr/hal-01231700

K. Altisen, G. Gossler, A. Pnueli, J. Sifakis, S. Tripakis et al., A framework for scheduler synthesis, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 1999.
DOI : 10.1109/REAL.1999.818838

N. C. Audsley, On priority assignment in fixed priority scheduling, Information Processing Letters, vol.79, issue.1, pp.39-44, 2001.
DOI : 10.1016/S0020-0190(00)00165-4

M. Grenier and N. Navet, Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS, IEEE Transactions on Industrial Informatics, vol.4, issue.1, 2008.
DOI : 10.1109/TII.2008.919017
URL : https://hal.archives-ouvertes.fr/inria-00266114

W. Lunniss, S. Altmeyer, and R. I. Davis, A comparison between fixed priority and edf scheduling accounting for cache related pre-emption delays, Leibniz Transactions on Embedded Systems, vol.1, issue.1, p.2014

A. Monot, N. Navet, B. Bavoux, and F. Simonot-lion, Multisource Software on Multicore Automotive ECUs—Combining Runnable Sequencing With Task Scheduling, IEEE Transactions on Industrial Electronics, vol.59, issue.10, pp.593934-3942, 2012.
DOI : 10.1109/TIE.2012.2185913

M. Nasri and G. Fohler, An Efficient Method for Assigning Harmonic Periods to Hard Real-Time Tasks with Period Ranges, 2015 27th Euromicro Conference on Real-Time Systems, pp.149-159, 2015.
DOI : 10.1109/ECRTS.2015.21

N. Navet, L. Fejoz, L. Havet, and S. Altmeyer, Lean model-driven development through model-interpretation: the CPAL design flow, Embedded Real-Time Software and Systems (ERTSS2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01289494

N. Navet and J. Migge, Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems, IEE Proceedings - Software, vol.150, issue.1, pp.13-24, 2003.
DOI : 10.1049/ip-sen:20030205
URL : https://hal.archives-ouvertes.fr/inria-00099503

R. Sharma and N. , Entropy, a new dynamics governing parameter in real time distributed system: a simulation study, International Journal of Parallel, Emergent and Distributed Systems, vol.69, issue.1, pp.562-586, 2014.
DOI : 10.1038/341119a0

C. A. Rincon and A. M. Cheng, Using entropy as a parameter to schedule real-time tasks, Real-Time Systems Symposium. WiP Session, pp.375-375, 2015.

. Windriver, Wind river workbench

C. E. Shannon, A Mathematical Theory of Communication, Bell System Technical Journal, vol.27, issue.3, pp.379-423, 1948.
DOI : 10.1002/j.1538-7305.1948.tb01338.x

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

N. C. Audsley, A. Burns, M. Richardson, K. W. Tindell, and A. J. Wellings, Applying new scheduling theory to static priority pre-emptive scheduling, Software Engineering Journal, vol.8, issue.5, pp.284-292, 1993.
DOI : 10.1049/sej.1993.0034

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.
DOI : 10.1109/TC.2004.103

E. Bini and G. C. Buttazzo, Measuring the performance of schedulability tests. Real-Time Syst, pp.129-154, 2005.

R. I. Davis, A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems, ACM SIGBED Review, vol.11, issue.1, pp.8-19, 2014.
DOI : 10.1145/2597457.2597458

R. I. Davis and A. Burns, Burns standard notation for real-time scheduling In Real-Time Systems: The past, the present, and the future, N. Audsley, S.K. Baruah Editors, pp.38-41, 2013.

R. I. Davis, A. Zabos, and A. Burns, Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems, IEEE Transactions on Computers, vol.57, issue.9, pp.1261-1276, 2008.
DOI : 10.1109/TC.2008.66

F. Eisenbrand and T. Rothvoss, Static-Priority Real-Time Scheduling: Response Time Computation Is NP-Hard, 2008 Real-Time Systems Symposium, pp.397-406, 2008.
DOI : 10.1109/RTSS.2008.25

M. Joseph and P. Pandya, Finding Response Times in a Real-Time System, The Computer Journal, vol.29, issue.5, pp.390-395, 1986.
DOI : 10.1093/comjnl/29.5.390

J. Lehoczky, L. Sha, and Y. Ding, The rate monotonic scheduling algorithm: exact characterization and average case behavior, [1989] Proceedings. Real-Time Systems Symposium, pp.166-171, 1989.
DOI : 10.1109/REAL.1989.63567

J. P. Lehoczky, Fixed priority scheduling of periodic task sets with arbitrary deadlines, [1990] Proceedings 11th Real-Time Systems Symposium, pp.201-209, 1990.
DOI : 10.1109/REAL.1990.128748

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

W. C. Lu, K. J. Lin, H. W. Wei, and W. K. Shih, Period-Dependent Initial Values for Exact Schedulability Test of Rate Monotonic Systems, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.1-8, 2007.
DOI : 10.1109/IPDPS.2007.370352

M. Park and H. Park, An Efficient Test Method for Rate Monotonic Schedulability, IEEE Transactions on Computers, vol.63, issue.5, pp.1309-1315, 2014.
DOI : 10.1109/TC.2012.296

O. Serlin, Scheduling of time critical processes, Proceedings of the November 16-18, 1971, fall joint computer conference on, AFIPS '71 (Fall), pp.925-932, 1972.
DOI : 10.1145/1478873.1478995

A. Elnably, K. Du, and P. Varman, Reward Scheduling for QoS in Cloud Applications, 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012), 2012.
DOI : 10.1109/CCGrid.2012.120

J. Gubbi, R. Buyya, S. Marusic, and M. Palaniswami, Internet of Things (IoT): A vision, architectural elements, and future directions, Future Generation Computer Systems, vol.29, issue.7, pp.1645-1660, 2013.
DOI : 10.1016/j.future.2013.01.010

A. Srinivasan, P. Holman, J. H. Anderson, and S. Baruah, The case for fair multiprocessor scheduling, Proceedings International Parallel and Distributed Processing Symposium, 2003.
DOI : 10.1109/IPDPS.2003.1213226

H. Alhussian, N. Zakaria, and F. A. Hussin, An efficient real-time multiprocessor scheduling algorithm, Journal of Convergence Information Technology, 2014.

M. Amirijoo, J. Hansson, and S. H. Son, Specification and management of QoS in real-time databases supporting imprecise computations, IEEE Transactions on Computers, pp.304-319, 2006.
DOI : 10.1109/TC.2006.45

H. Aydin, R. Melhem, D. Mosse, and P. M. Alvarez, Optimal reward-based scheduling for periodic real-time tasks, IEEE Transactions on Computers, 2001.

I. Hou and P. R. Kumar, Scheduling Periodic Real-Time Tasks with Heterogeneous Reward Requirements, 2011 IEEE 32nd Real-Time Systems Symposium, 2011.
DOI : 10.1109/RTSS.2011.33

B. Awerbuch, Y. Azar, and O. Regev, Maximizing job benefits online, Proc. of the 3 rd International Workshop, 2000.

B. Sanati and A. M. Cheng, Maximizing job benefits on multiprocessor systems using a greedy algorithm, WiP session of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2008.
DOI : 10.1145/1399583.1399586

B. Sanati and A. M. Cheng, Efficient Online Benefit-Aware Multiprocessor Scheduling Using an Online Choice of Approximation Algorithms, 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014.
DOI : 10.1109/HPCC.2014.91

J. H. Anderson, J. P. Erickson, U. C. Devi, and B. N. Casses, Optimal semi-partitioned scheduling in soft real-time systems, Proc. of the 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2014.

W. Jeong and J. Lee, Performance evaluation of ieee 802.15. 4e dsme mac protocol for wireless sensor networks, Enabling Technologies for Smartphone and Internet of Things (ETSIoT), pp.7-12, 2012.

J. Lee and W. Jeong, Performance analysis of ieee 802.15. 4e dsme mac protocol under wlan interference, ICT Convergence (ICTC), 2012 International Conference on, pp.741-746, 2012.

P. Du and G. Roussos, Adaptive time slotted channel hopping for wireless sensor networks, 2012 4th Computer Science and Electronic Engineering Conference (CEEC), pp.29-34, 2012.
DOI : 10.1109/CEEC.2012.6375374

C. Shih, A. E. Xhafa, and J. Zhou, Practical frequency hopping sequence design for interference avoidance in 802.15, 4e tsch networks Communications (ICC), 2015 IEEE International Conference on, pp.6494-6499, 2015.

G. Alderisi, G. Patti, O. Mirabella, and L. L. Bello, Simulative assessments of the ieee 802.15. 4e dsme and tsch in realistic process automation scenarios, Industrial Informatics (INDIN), 2015 IEEE 13th International Conference on, pp.948-955, 2015.

J. Boudec and P. Thiran, Network calculus: a theory of deterministic queuing systems for the internet, 2001.

A. Koubâa, M. Alves, and E. Tovar, Energy and delay trade-off of the GTS allocation mechanism in IEEE 802.15.4 for wireless sensor networks, International Journal of Communication Systems, vol.42, issue.7, pp.791-808, 2007.
DOI : 10.1002/dac.845

M. G. Harbour, J. J. Gutiérrez, J. C. Palencia, and J. M. Drake, MAST: Modeling and Analysis Suite for Real?Time Applications, Proc. of the Euromicro Conference on Real?Time Systems, 2001.

]. S. Pycpaal15a, N. Altmeyer, L. Navet, ]. S. Fejozal15b, N. Altmeyer et al., Compositional Performance Analysis in Python Symbolic Timing Analysis for Systems; https://www.symtavision.com/symtas.html [5] https://waters2015.inria.fr/files Using CPAL to model and validate the timing behaviour of embedded systemsTowards a declarative modeling and execution framework for real-time systems, First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems, 2014.

F. Boniol and V. Wiels, The Landing Gear System Case Study, Proc. ABZ 2014, pp.1-18, 2014.
DOI : 10.1007/978-3-319-07512-9_1

A. Brown, An Introduction to Model Driven Architecture ? Part1: MDA and today's systems " , IBM technical library, 2004.

L. Ciarletta, L. Fejoz, A. Guenard, and N. Navet, Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01251305

N. Navet, L. Fejoz, L. Havet, and S. Altmeyer, Lean Model-Driven Development through Model-Interpretation: the CPAL design flow, Embedded Real-Time Software and Systems (ERTS 2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01289494

J. Seyler, T. Streichert, M. Glaß, N. Navet, and J. Teich, Formal Analysis of the Startup Delay of SOME/IP Service Discovery, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 2015.
DOI : 10.7873/DATE.2015.0469

S. Kramer, D. Ziegenbein, and A. Hamann, Real world automotive benchmark for free, Sixth International Workshop on Analysis Tools and Methodologies for Embedded Real-time Systems (WATERS), 2015.

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.
DOI : 10.1145/321738.321743

L. Sha, T. Abdelzaher, K. Arzén, A. Cervin, T. Baker et al., Real Time Scheduling Theory: A Historical Perspective, Real-Time Systems, vol.28, issue.2/3, pp.101-155, 2004.
DOI : 10.1023/B:TIME.0000045315.61234.1e

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

J. P. Gutiérrez, J. G. García, and M. G. Harbour, On the schedulability analysis for distributed hard real-time systems, Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, pp.136-143, 1997.

K. Gresser, An Event Model for Deadline Verification of Hard Real-Time Systems, Fifth Euromicro Workshop on Real-Time Systems, pp.118-123, 1993.
DOI : 10.1109/EMWRT.1993.639067

L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.101-104, 2000.
DOI : 10.1109/ISCAS.2000.858698

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, pp.148-166, 2005.

K. Lampka, S. Perathoner, and L. Thiele, Analytic real-time analysis and timed automata, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.107-116, 2009.
DOI : 10.1145/1629335.1629351

S. Quinton, T. T. Bone, J. Hennig, M. Neukirchner, M. Negrean et al., Typical worst case response-time analysis and its use in automotive network design, Proceedings of the 51st Annual Design Automation Conference, ser. DAC '14, pp.1-44, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01097619

P. Hypervisor, Available: https://www.sysgo.com/ products/pikeos-rtos-and-virtualization-concept

. Microkernel, Available: https://sel4

J. Schlatow and R. Ernst, Response-Time Analysis for Task Chains in Communicating Threads, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016.
DOI : 10.1109/RTAS.2016.7461359

. Pycpa-website, Available: https://bitbucket

J. Diemer, P. Axer, and R. Ernst, Compositional Performance Analysis in Python with pyCPA, 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), 2012.

J. Schlatow, M. Moestl, and R. Ernst, An Extensible Autonomous Reconfiguration Framework for Complex Component-Based Embedded Systems, 2015 IEEE International Conference on Autonomic Computing, pp.239-242, 2015.
DOI : 10.1109/ICAC.2015.18

O. Genode and . Framework, Available: http://genode

A. Esper, G. Nelissen, V. Nélis, and E. Tovar, How realistic is the mixed-criticality real-time system model?, Proceedings of the 23rd International Conference on Real Time and Networks Systems, RTNS '15, pp.139-148, 2015.
DOI : 10.1145/2834848.2834869

G. Nelissen, D. Pereira, and L. M. Pinho, A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring, Reliable Software Technologies?Ada-Europe 2015, pp.66-82, 2015.
DOI : 10.1007/978-3-319-19584-1_5

A. Burns, B. Dobbing, and T. Vardanega, Guide for the use of the Ada Ravenscar Profile in high integrity systems, ACM SIGAda Ada Letters, vol.XXIV, issue.2, pp.1-74, 2004.
DOI : 10.1145/997119.997120

V. Bos, P. Mendham, P. K. Kauppinen, N. Holst, A. Crespo-lorente et al., Time and space partitioning the eagleeye reference mission, 2013. REFERENCES [1] " L4Re microkernel system

A. Lackorzynski and A. Warg, Taming subsystems, Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, IIES '09, pp.25-30, 2009.
DOI : 10.1145/1519130.1519135

H. Härtig, R. Baumgartl, M. Borriss, C. Hamann, M. Hohmuth et al., DROPS: OS support for distributed multimedia applications, Proceedings of the Eighth ACM SIGOPS European Workshop, 1998.

H. Härtig, M. Hohmuth, N. Feske, C. Helmuth, A. Lackorzynski et al., The Nizza Secure-System Architecture, 2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing, 2005.
DOI : 10.1109/COLCOM.2005.1651218

A. Lackorzynski, M. Völp, and A. Warg, Flat but trustworthy, ACM SIGBED Review, vol.11, issue.2, pp.8-12, 2014.
DOI : 10.1145/2668138.2668139

H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Wolter, The performance of µ-kernel-based systems, Proceedings of the 16th ACM Symposium on Operating System Principles (SOSP), pp.66-77, 1997.

A. Limited, ARM Architecture Reference Manual, ARMv7-A and ARMv7-R edition, ARM DDI 0406C, 2014.

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.
DOI : 10.1109/RTSS.2010.30

D. Hardy and I. Puaut, WCET analysis of multi-level set-associative instruction caches, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00286358

M. Paolieri, E. Quiones, F. Cazorla, and M. Valero, An analyzable memory controller for hard real-time cmps Embedded Systems Letters, pp.86-90, 2009.

J. Reineke, I. Liu, H. D. Patel, S. Kim, and E. A. Lee, PRET DRAM controller, Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, CODES+ISSS '11, pp.99-108
DOI : 10.1145/2039370.2039388

Y. Krishnapillai, Z. P. Wu, and R. Pellizzoni, A rank-switching, openrow dram controller for time-predictable systems, Real-Time Systems (ECRTS), 2014 26th Euromicro Conference on, pp.27-38, 2014.

E. Lakis, FPGA implementation of a time predictable memory controller for a chip-multiprocessor system, p.2013

B. Akesson, K. Goossens, and M. Ringhofer, Predator, Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis , CODES+ISSS '07, pp.251-256, 2007.
DOI : 10.1145/1289816.1289877

M. Paolieri, J. Mische, S. Metzlaff, M. Gerdes, E. Quiñones et al., A hard real-time capable multi-core SMT processor, ACM Transactions on Embedded Computing Systems, vol.12, issue.3, 2013.
DOI : 10.1145/2442116.2442129

L. Sha, M. Caccamo, R. Mancuso, J. Kim, M. Yoon et al., Single core equivalent virtual machines for hard real-time computing on multicore processors, 2014.

G. Patti, G. Muscato, N. Abbate, and L. Bello, Towards Lowdatarate Communications for Cooperative Mobile Robots, IEEE World Conference on Factory Communication Systems (WFCS), pp.27-29, 2015.

S. Stmicroelectronics, SPIRIT1 -low data rate transceiver -915 MHz -full kit " , A pr, 2014.