A. Kritikakou, Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems, 2014 26th Euromicro Conference on Real-Time Systems, 2013.
DOI : 10.1109/ECRTS.2014.14
URL : https://hal.archives-ouvertes.fr/hal-01015476

G. Lasnier, Simulation de systèmes Cyber Physiques (2012-2013, avec ma collègue Janette Cardoso ISAE)

R. Gratia, Ecole Nationale Supérieure d'Electricité et de Mécanique) à Nancy, « Programmation d'applications temps réel sur pluri-coeurs, pp.2012-2013

A. Charles, 5ème année école d'ingénieur Ecole des Mînes d'Albi, « A C library for multithreaded programs on a multi-core architecture, 2009.

M. Cordovilla, C. Master, . Ups, and . Enseeiht-toulouse, « Génération d'ordonnancements préemptifs critiques, 2007.

X. Dumas, I. Master, and . Bordeaux, « Model Transformation : from AADL to AltaRica, avec mes collègues Philippe Dhaussy (ENSIETA) et Laurent Sagaspe, 2006.

J. Enseignement and . Enseigné-dans-le-cadre, Ecole Centrale de Nantes (64 h équivalent TD pendant 3 ans), suivi d'une année de demi-ATER à l'Université de Bordeaux (96h). A mon arrivée à l'ONERA (2005-2007), j'ai effectué des vacations à Supaéro, l'INSA et l'ENSEEIHT. Depuis, effectue mon enseignement principalement à l'ENSEEIHT en tant que maître de conférences associé à mi temps (MAST), 2007.

[. Brevet, B. Jegu, F. Triquet, C. Aspro, F. Pagetti et al., Procédé et dispositif de chargement et d'exécution d'instructions à cycles déterministes dans un système avionique multi-coeurs ayant un bus dont le temps d'accès est non prédictible, EP Patent App. EP20, vol.100, p.734208, 2009.

M. Lauer, F. Boniol, C. Pagetti, and J. Ermont, End-to-end latency and temporal consistency analysis in networked real-time systems, International Journal of Critical Computer-Based Systems, vol.5, issue.3/4, pp.172-196, 2014.
DOI : 10.1504/IJCCBS.2014.064667
URL : https://hal.archives-ouvertes.fr/hal-01154189

P. Bieber, F. Boniol, M. Boyer, E. Noulard, and C. Pagetti, New Challenges for Future Avionic Architectures, Journal AerospaceLab, vol.4, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01184101

C. Pagetti, J. Forget, F. Boniol, M. Cordovilla, and D. Lesens, Multi-task Implementation of Multi-periodic Synchronous Programs, Discrete Event Dynamic Systems, pp.307-338, 2011.
DOI : 10.1007/s10626-011-0107-x
URL : https://hal.archives-ouvertes.fr/inria-00638936

[. Boniol, J. Ermont, and C. Pagetti, Verification of real-time systems with preemption: negative and positive results, Innovations in Systems and Software Engineering (ISSE), pp.163-179, 2009.
DOI : 10.1007/s11334-009-0093-4

[. Cassez, C. Pagetti, and O. Roux, A Timed Extension for ALTARICA, Fundamenta Informaticae, vol.62, pp.3-4, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00363026

W. Revues, F. Theurer, P. Boniol, C. Dhaussy, and . Pagetti, Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués, pp.2-3, 2007.

[. Durrieu, M. Faugère, S. Girbal, D. G. Pérez, C. Pagetti et al., Predictable Flight Management System Implementation on a Multicore Processor, Proceedings of the 7th Conference on Embedded Real Time Software and Systems (ERTS'14), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01121700

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

A. Kritikakou, C. Pagetti, C. Rochange, M. Roy, M. Faugère et al., Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, pp.2014-139
DOI : 10.1145/2659787.2659799
URL : https://hal.archives-ouvertes.fr/hal-01096102

C. Pagetti, D. Saussié, R. Gratia, E. Noulard, and P. Siron, The ROSACE case study: From Simulink specification to multi/many-core execution, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)
DOI : 10.1109/RTAS.2014.6926012

[. Santinelli, W. Puffitsch, F. Boniol, C. Pagetti, A. Dumérat et al., Grouping Approach to Task Scheduling with Functional and Non-Functional Requirements, Proceedings of the 4th Conference on Embedded Real Time Software and Systems (ERTS'14), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01070537

[. Boniol, M. Lauer, C. Pagetti, and J. Ermont, Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems, Proceedings of the 5th International Symposium NASA Formal Methods (NFM'13). 2013, pp.93-107
DOI : 10.1007/978-3-642-38088-4_7
URL : https://hal.archives-ouvertes.fr/hal-01228710

[. Lasnier, J. Cardoso, P. Siron, C. Pagetti, and P. Derler, Distributed Simulation of Heterogeneous and Real-Time Systems, 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications, pp.55-62
DOI : 10.1109/DS-RT.2013.14

[. Puffitsch, E. Noulard, and C. Pagetti, Mapping a multi-rate synchronous language to a many-core processor, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.293-302
DOI : 10.1109/RTAS.2013.6531101

[. Wyss, F. Boniol, C. Pagetti, and J. Forget, End-to-end latency computation in a multi-periodic design, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1682-1687
DOI : 10.1145/2480362.2480678
URL : https://hal.archives-ouvertes.fr/hal-00863174

J. Baro, F. Boniol, M. Cordovilla, E. Noulard, and C. Pagetti, Offline (Optimal) multiprocessor scheduling of dependent periodic tasks, Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC'12). 2012, pp.1815-1820

[. Boniol, H. Cassé, E. Noulard, and C. Pagetti, Deterministic Execution Model on COTS Hardware, Proceedings of the 25th International Conference on Architecture of Computing Systems (ARCS'12). 2012, pp.98-110
DOI : 10.1145/1347375.1347389

C. Pagetti, P. Bieber, J. Brunel, K. Gupta, E. Noulard et al., Reconfigurable IMA platform : from safety assessment to test scenarios on the Scarlett demonstrator, Proceedings of the 6th Conference on Embedded Real Time Software and Systems and Software (ERTS'12, 2012.

R. Wyss, F. Boniol, J. Forget, and C. Pagetti, A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming, Proceedings of the 10th Asian Symposium on Programming Languages and Systems (APLAS'12). 2012, pp.223-238
DOI : 10.1007/978-3-642-35182-2_16
URL : https://hal.archives-ouvertes.fr/hal-00800975

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

M. Cordovilla, F. Boniol, E. Noulard, and C. Pagetti, Multiprocessor schedulability analyser, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, pp.735-741, 2011.
DOI : 10.1145/1982185.1982345

[. Forget, E. Grolleau, C. Pagetti, and P. Richard, Dynamic priority scheduling of periodic tasks with extended precedences, ETFA2011, pp.1-8, 2011.
DOI : 10.1109/ETFA.2011.6059015
URL : https://hal.archives-ouvertes.fr/inria-00638941

M. Lauer, J. Ermont, F. Boniol, and C. Pagetti, Latency and freshness analysis on IMA systems, ETFA2011, pp.1-8, 2011.
DOI : 10.1109/ETFA.2011.6059017

M. Lauer, J. Ermont, F. Boniol, and C. Pagetti, Worst Case Temporal Consistency in Integrated Modular Avionics Systems, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, pp.212-219, 2011.
DOI : 10.1109/HASE.2011.48

[. Forget, F. Boniol, E. Grolleau, D. Lesens, and C. Pagetti, Scheduling Dependent Periodic Tasks without Synchronization Mechanisms, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.301-310, 2010.
DOI : 10.1109/RTAS.2010.26
URL : https://hal.archives-ouvertes.fr/hal-00800980

[. Forget, F. Boniol, D. Lesens, and C. Pagetti, A real-time architecture design language for multi-rate embedded control systems, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.527-534, 2010.
DOI : 10.1145/1774088.1774196
URL : https://hal.archives-ouvertes.fr/hal-00688490

M. Lauer, J. Ermont, C. Pagetti, and F. Boniol, Analyzing Endto-End Functional Delays on an IMA Platform, Proceedings of the 4th International Symposium on Leveraging Applications (ISOLA'10, pp.243-257, 2010.

[. Boniol, P. Hladik, C. Pagetti, F. Aspro, and V. Jégu, A Framework for Distributing Real-Time Functions, Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems (FOR- MATS'08, pp.155-169, 2008.
DOI : 10.1007/978-3-540-85778-5_12

[. Forget, F. Boniol, D. Lesens, and C. Pagetti, A Multi-Periodic Synchronous Data-Flow Language, 2008 11th IEEE High Assurance Systems Engineering Symposium, 2008.
DOI : 10.1109/HASE.2008.47
URL : https://hal.archives-ouvertes.fr/hal-00802695

[. Forget, F. Boniol, D. Lesens, C. Pagetti, and M. Pouzet, Programming Languages For Hard Real-Time Embedded Systems In : Proceedings of the 4th Conference on Embedded Real Time Software and Systems and Software (ERTS'08), BPR07] Frédéric Boniol Formal Functionally Deterministic Scheduling " . In : Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'07 -SHORT PAPER, pp.33-40, 2007.

M. Baclet and C. Pagetti, Around Hopcroft???s Algorithm, Proceedings of the 11th International Conference on Implementation and Application of Automata (CIAA'06, pp.114-125, 2006.
DOI : 10.1007/11812128_12

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N-synchronous Kahn networks : a relaxed model of synchrony for real-time systems, Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'06, pp.180-193, 2006.

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., Synchronization of periodic clocks, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.339-342
DOI : 10.1145/1086228.1086289
URL : https://hal.archives-ouvertes.fr/hal-01257295

C. Adélaïde and . Pagetti, On the Urgency Expressiveness, 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, pp.71-83, 2004.
DOI : 10.1007/978-3-540-30538-5_7

G. Conférences-nationales-avec-comité-de-relecture, J. Lasnier, C. Cardoso, P. Pagetti, and . Siron, Environnement de coopération de simulation pour la conception de systèmes cyber-physiques

[. Wyss, F. Boniol, J. Forget, and C. Pagetti, Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique, Journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels, 2013.

R. Wyss, F. Boniol, J. Forget, and C. Pagetti, Calcul de latences dans un programme Prelude, Proceedings des Journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels, 2012.

M. Lauer, F. Boniol, J. Ermont, and C. Pagetti, Analyse de latence et fra??cheur pire cas sur syst??mes avioniques modulaires int??gr??s, Actes du colloque francophone MSR 2011 publié dans Journal européen des systèmes automatisés, pp.1-3, 2011.
DOI : 10.3166/jesa.45.173-188

[. Boniol, M. Cordovilla, J. Forget, D. Lesens, and C. Pagetti, Implantation multit??che de programmes synchrones multip??riodiques, Actes du colloque francophone MSR 2009 publié dans Journal européen des systèmes automatisés (JESA) 43, 2009.
DOI : 10.3166/jesa.43.741-755

[. Dumas, C. Pagetti, L. Sagaspe, P. Bieber, and P. Dhaussy, Vers la génération de modèles de sûreté de fonctionnement, 2ème Conférence Francophone sur les Architectures Logicielles, 2008.

A. Kritikakou, O. Baldellon, C. Pagetti, C. Rochange, M. Roy et al., Monitoring on-line timing information to support mixedcritical workloads, Proceedings of the Work-in-Progress Session of the 34th IEEE Real-Time Systems Symposium (WiP-RTSS 2013, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01015455

C. Pagetti-luca-santinelli, W. Puffitsch, and F. Boniol, Scheduling with Functional and Non-Functional Requirements : the Sub-Functional Approach, Proceedings of the Work-in-Progress Session of the 25th Euromicro Conference on Real-Time Systems, 2013.

G. Brau and C. Pagetti, TTEthernet-based architecture simulation with Ptolemy II, Proceedings of the 6th Junior Researcher Workshop on Real-Time Computing, pp.29-32, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909115

[. Boniol, C. Pagetti, M. Lauer, and J. Ermont, End-to-end latency analysis in networked real-time systems, Proceedings of the 6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VE- CoS 2012). Electronic Workshops in Computing (eWiC). BCS, sept, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01154189

M. Ausbourg, E. Boyer, C. Noulard, and . Pagetti, Deterministic Execution on Many-Core Platforms : application to the SCC, Proceedings of the 4th Many-core Applications Research Community Symposium, pp.43-48, 2011.

P. Bieber, E. Noulard, J. Brunel, C. Pagetti, T. Planche et al., Preliminary design of future reconfigurable IMA platforms -Safety assessment, Proceedings of the 27th Congress International Council of the Aeronautical Sciences, 2010.

P. Bieber, E. Noulard, C. Pagetti, T. Planche, and F. Vialard, Preliminary design of future reconfigurable IMA platforms, Proceedings of the workshop APRES -SIGBED Review, p.7, 2009.
DOI : 10.1145/1851340.1851349

[. Forget, F. Boniol, D. Lesens, and C. Pagetti, Implementing Multi-Periodic Critical Systems: from Design to Code Generation, Proceedings FM-09 Workshop on Formal Methods for Aerospace, pp.34-48, 2009.
DOI : 10.4204/EPTCS.20.4
URL : https://hal.archives-ouvertes.fr/hal-00800990

C. Pagetti, P. Bieber, and V. Wiels, Certification and Safety Analysis Challenges in the Avionic Domain. Tutorial sur « Mixed-Criticality Systems : Design and Certification Challenges » à l'Embedded Systems Week http

. Exposé-sur, Architecture multi/many-coeur pour les systèmes critiques" (projet TOAST) » à la quatrième édition du séminaire "Ingénierie des Systèmes Complexes à Logiciel Prépondérant" organisé par DGA Techniques Aéronautiques http

G. Durrieu and C. Pagetti, Rapports D2.2 et D2.3 : Maîtrise des pires-temps sur architecture multi-coeurs

G. Durrieu, E. Noulard, C. Pagetti, and W. Puffitsch, Rapports D1 et D2.1 : Maîtrise des pires-temps sur architecture multi-coeurs

P. Bieber and C. Pagetti, Contribution à plusieurs rapports sur la certification Scarlett

P. Bieber, F. Boniol, J. Brunel, and C. Pagetti, Rapports d'avancement DPAC : DPAC reconfiguration et DPAC Shrink

F. Boniol and C. Pagetti, Proposition de langage intermédiaire pour l'architecture SHRINK

P. Bieber, J. Brunel, and C. Pagetti, Safety Assessment of the Reconfguration System

J. Forget, F. Boniol, D. Lesens, and C. Pagetti, Programming and implementing Control-Command systems, progression report 4

F. Boniol, M. Lemaître, C. Pagetti, and G. Verfaillie, Outil de placement pour l'architecture SHRINK

J. Forget, F. Boniol, D. Lesens, and C. Pagetti, Programmation et implantation de systèmes de Contrôle-Commande distribués

F. Boniol, C. Pagetti, and J. Ermont, Etude de la structuration des messages et son impact sur les performances de l'architecture MARTIAC

C. Pagetti, . Les, and . Satrimmap, Satrimmap -WP1 -Tâche 1.1. -Besoins des fonctions avioniques, Projet ANR Satrimmap, 2008.

J. Cazin, C. Pagetti, Y. Trinquet, S. Faucou, Y. Chevalier et al., Astac-Amil : Application des solutions technologiques et d'architectures du monde civil aux avioniques militaires intégrées, Poste, vol.2

M. Brunet, P. L. Blaye, C. Pagetti, and C. Seguin, Qualitative Safety Assessment

C. Pagetti and F. Boniol, Plusieurs rapports Martiac, Contrat Airbus Martiac

C. Seguin, C. Pagetti, . Offis, . University, and . York, Aircraft Supportability : A survey of trends, challenges and opportunities

R. Demolombe, G. Eizenberg, J. Foisseau, C. Pagetti, C. Saurel et al., Techniques de base pour l'ingénierie des systèmes de systèmes. Etat de l'art, concepts de base et programme de travail

F. Tarek, . Abdelzaher, G. Kang, and . Shin, Combined Task and Message Scheduling in Distributed Real-Time Systems, IEEE Trans. Parallel Distrib. Syst, vol.10, pp.11-1179, 1999.

A. Abel, F. Benz, J. Doerfert, B. Dörr, S. Hahn et al., Impact of Resource Sharing on Performance and Performance Prediction: A Survey, 24th International on Conference Concurrency Theory, 2013.
DOI : 10.1007/978-3-642-40184-8_3

A. Alras, P. Caspi, A. Girault, and P. Raymond, Avionics Application Software Standard Interface Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model, International Conference on Embedded Software and Systems (ICESS'09, 1997.

[. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, TIMES b??? A Tool for Modelling and Implementation of Embedded Systems, Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS '02, pp.460-464, 2002.
DOI : 10.1007/3-540-46002-0_32

J. H. Anderson, K. Sanjoy, B. Baruah-et-björn, and . Brandenburg, Multicore Operating-System Support for Mixed Criticality Avr, Proceedings of the Workshop on Mixed Criticality : Roadmap to Evolving UAV Certification (WMC'09, 2009.

C. André, Comparaison des styles de programmation de langages synchrones. Rapp. tech. RR-2005-13, p.3, 2005.

C. Neil and . Audsley, Optimal Priority Assignment And Feasibility Of Static Priority Tasks With Arbitrary Start Times, 1991.

P. Theodore, . Baker, K. Sanjoy, . Baruah, H. Ballabriga et al., Schedulability analysis of multiprocessor sporadic task systems In : Handbook of Realtime and Embedded Systems OTAWA : An Open Toolbox for Adaptive WCET Analysis, 8th International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS'10). T. 6399, pp.35-46, 2007.

S. Baruah, Semantics-preserving implementation of multirate mixed-criticality synchronous programs, Proceedings of the 20th International Conference on Real-Time and Network Systems, RTNS '12, pp.11-19
DOI : 10.1145/2392987.2392989

K. Sanjoy, B. Baruah, H. Chattopadhyay, I. Li, and . Shin, Mixed-criticality scheduling on multiprocessors, Time Systems, vol.501, pp.142-177, 2014.

K. Sanjoy, G. Baruah, and . Fohler, Certification-Cognizant Time-Triggered Scheduling of Mixed-Criticality Systems, Proceedings of the 32nd IEEE Real-Time Systems Symposium, pp.3-12, 2011.

K. Sanjoy, S. Baruah, and . Vestal, Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications, Proceedings of the 20th Euromicro Conference on Real-Time Systems (ECRTS'08, pp.147-155, 2008.

[. Baruah, H. Li, and L. Stougie, Towards the Design of Certifiable Mixedcriticality Systems, Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '10, pp.13-22, 2010.

H. Zaid-al-bayati, M. D. Zeng, N. , and Z. Gu, Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.2013-168, 2013.
DOI : 10.1109/SIES.2013.6601489

[. Behrmann, K. G. Larsen, and J. I. Rasmussen, Optimal scheduling using priced timed automata, SIGMETRICS Perform, pp.34-40, 2005.
DOI : 10.1145/1059816.1059823

[. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Frederic Lang et François Vernadat Fiacre : an Intermediate Language for Model Verification in the Topcased Environment, Proceedings of the 4th Conference on Embedded Real Time Software and Systems and Software (ERTS2'08)

A. Bertout and J. Forget, A heuristic to minimize the cardinality of a realtime task set by automated task clustering, Proceedings of the 29th ACM Symposium on Applied Computing (SAC'14, pp.2014-1431
URL : https://hal.archives-ouvertes.fr/hal-01016182

A. Bertout, J. Forget, and R. Olejnik, Minimizing a real-time task set through Task Clustering, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, pp.2014-2037
DOI : 10.1145/2659787.2659820
URL : https://hal.archives-ouvertes.fr/hal-01073565

[. Betti, S. Bak, R. Pellizzoni, M. Caccamo, and L. Sha, Real-Time I/O Management System with COTS Peripherals, IEEE Transactions on Computers, vol.62, issue.1, pp.45-58, 2013.
DOI : 10.1109/TC.2011.202

J. Bin, Controlling Execution Time Variability using COTS for Safety-critical Systems, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01061936

[. Bin, S. Girbal, D. G. Pérez, A. Grasset, and A. Merigot, Studying co-running avionic real-time applications on multi-core COTS architectures, Embedded Real Time Software and Systems (ERTS'14), 2014.

[. Bini and G. C. Buttazzo, Biasing effects in schedulability measures, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004., pp.196-203, 2004.
DOI : 10.1109/EMRTS.2004.1311021

[. Bliudze, M. Jan, and X. Fornari, From Model-Based to Real-Time Execution of Safety-Critical Applications : Coupling Scade with OASIS, Embedded Real Time Software and Systems (ERTS'012), 2012.

A. Bonenfant, I. Broster, C. Ballabriga, G. Bernat, H. Cassé et al., Coding guidelines for WCET analysis using measurementbased and static analysis techniques. anglais

S. Borkar, Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, IEEE Micro, vol.25, issue.6, pp.10-16, 2005.
DOI : 10.1109/MM.2005.110

A. Bouakaz and J. Talpin, Buffer minimization in earliest-deadline first scheduling of dataflow graphs, SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES'13). 2013, pp.133-142
DOI : 10.1145/2499369.2465558
URL : https://hal.archives-ouvertes.fr/hal-00916485

B. Björn, J. H. Brandenburg, and . Anderson, Integrating Hard/Soft Real-Time Tasks and Best-Effort Jobs on Multiprocessors, Proceedings of thr 19th Euromicro Conference on Real-Time Systems, pp.61-70, 2007.

[. Burns and S. Baruah, Towards A More Practical Model for Mixed Criticality Systems, Proceedings of the Workshop on Mixed Criticality (WMC'13). 2013, pp.1-6

[. Burns, K. Sanjoy, and . Baruah, Timing Faults and Mixed Criticality Systems, Dependable and Historic Computing -Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday, pp.147-166, 2011.
DOI : 10.1007/s11241-009-9079-4

[. Burns and R. Davis, Mixed Criticality Systems -A Review. Rapp. tech

[. Cadoret, T. Robert, E. Borde, L. Pautet, and F. Singhoff, Deterministic implementation of periodic-delayed communications and experimentation in AADL, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013), pp.2013-2014
DOI : 10.1109/ISORC.2013.6913210
URL : https://hal.archives-ouvertes.fr/hal-01121244

J. M. Calandrino, H. Leontyev, A. Block, C. Umamaheswari, J. H. Devi et al., LITMUS?RT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers, Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS'06, pp.111-126, 2006.

J. Camus, O. Graff, and S. Poussard, A verifiable architecture for multitask, multi-rate synchronous software, 4th Embedded Real-Time Software Congress (ERTS'08, 2008.

[. Carcenac, Un modèle d'abstraction pour la vérification des systèmes embarqués distribués : application à l'avionique, Thèse de doctorat. SupAéro, 2005.

J. Cardoso, J. Chaudemar, A. Hamez, J. Hugues, and P. Siron, PRISE : une plate-forme de simulation distribuée pour l'ingénierie des systèmes embarqués, Génie Logiciel, vol.108, pp.29-34, 2014.

[. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, Lustre : A Declarative Language for Programming Synchronous Systems, pp.178-188, 1987.

[. Caspi, N. Scaife, C. Sofronis, and S. Tripakis, Semanticspreserving multitask implementation of synchronous programs, In : Trans. on Embedded Computing Sys, vol.7, issue.2, 2008.

[. Chattopadhyay, A. Roychoudhury, and T. Mitra, Modeling shared cache and bus in multi-cores for timing analysis, Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems, SCOPES '10, pp.1-10, 2010.
DOI : 10.1145/1811212.1811220

[. Cheatham, A. Fahmy, D. C. Stefanescu, and L. G. Valiant, Bulk Synchronous Parallel Computing ? A Paradigm for Transportable Software, Proc. IEEE 28th Hawaii Int. Conf. on System Science, pp.268-275, 1995.

H. Chetto, M. Silly, and T. Bouchentouf, Dynamic scheduling of real-time tasks under precedence constraints, Real-Time Systems, vol.21, issue.10, 1990.
DOI : 10.1007/BF00365326

D. Claraz, T. Leydier, R. Mader, and G. Wirrer, Introducing Multicore at Automotive Engine Systems, Embedded Real Time Software and Systems (ERTS'14, 2014.

H. Peter, D. P. Feiler, J. J. Gluch, and . Hudak, The Architecture Analysis & Design Language (AADL) : an introduction. Rapp. tech, 2006.

M. [. Coffman-jr, D. S. Garey, and . Johnson, Approximation algorithms for bin packing : A survey " . In : Approximation algorithms for NP-hard problems, pp.46-93, 1996.

J. Colaço and M. Pouzet, Clocks as First Class Abstract Types, Third International Conference on Embedded Software (EMSOFT'03), 2003.
DOI : 10.1007/978-3-540-45212-6_10

A. Colin, I. Puaut, C. Rochange, and P. Sainrat, Calcul de majorants de pire temps d'ex??cution : ??tat de l'art, Techniques et sciences informatiques, vol.22, issue.5, pp.651-677, 2003.
DOI : 10.3166/tsi.22.651-677

. Con08, M. The, . Consortium, and . Misra-c, Guidelines for the Use of the C Language in Critical Systems, Rapp. tech, issue.2, 2004.

D. Keith, T. J. Cooper, T. Harvey, and . Waterman, Building a Control-Flow Graph from Scheduled Assembly Code, Rapp. tech, pp.2-399, 2002.

C. Mesonero, Environnement de développement d'applications multipériodiques sur plateforme multicoeur. La boîte à outil SchedMCore, Thèse de doct, 2012.

J. Craveiro, J. Rufino, and F. Singhoff, Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems, ACM SIGBED Review, vol.8, issue.3, pp.23-27, 2011.
DOI : 10.1145/2038617.2038622
URL : https://hal.archives-ouvertes.fr/hal-00800900

A. Crespo, I. Ripoll, and M. Masmano, Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach, 2010 European Dependable Computing Conference, pp.67-72, 2010.
DOI : 10.1109/EDCC.2010.18

[. Cucu and J. Goossens, Feasibility Intervals for Fixed-Priority Real-Time Scheduling on Uniform Multiprocessors, 2006 IEEE Conference on Emerging Technologies and Factory Automation, pp.397-404, 2006.
DOI : 10.1109/ETFA.2006.355388

[. Cucu-grosjean and J. Goossens, Exact schedulability tests for real-time scheduling of periodic tasks on unrelated multiprocessor platforms, Journal of Systems Architecture, vol.57, issue.5, pp.561-569, 2011.
DOI : 10.1016/j.sysarc.2011.02.007
URL : https://hal.archives-ouvertes.fr/hal-00646576

[. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza-reineke et al., Predictability Considerations in the Design of Multi-Core Embedded Systems, pp.36-42

A. Curic, Implementing Lustre Programs on Distributed Platforms with Real-Time Constraints, Thèse de doct, 2005.

[. Ismail and G. E. Suh, Slack-Aware Opportunistic Monitoring for Real-Time Systems, 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'14), 2014.

A. David, J. Illum, K. G. Larsen, and A. Skou, Model-Based Design for Embedded Systems Chap. Model-Based Framework for Schedulability Analysis Using UPPAAL 4, pp.93-119, 2010.

I. Robert, A. Davis, and . Burns, A Survey of Hard Real-time Scheduling for Multiprocessor Systems, In : ACM Computing Surveys (CSUR), vol.43, issue.35, pp.1-3544

M. Di-natale, L. Guo, H. Zeng, and A. L. Sangiovanni-vincentelli, Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays, IEEE Trans. Industrial Informatics, vol.64, pp.637-651, 2010.

M. Di-natale, G. Wang, and A. L. Sangiovanni-vincentelli, Improving the size of communication buffers in synchronous models with time constraints, IEEE Trans. Industrial Informatics, vol.53, pp.229-240, 2009.

E. Durand, Description et vérification d'architectures d'application temps réel : CLARA et les réseaux de Petri temporels, Thèse de doct. Ecole Centrale de Nantes, 1998.

C. Ekelin, An Optimization Framework for Scheduling of Embedded Real-Time Systems, Thèse de doct, 2004.

S. Faucou, A. Déplanche, and Y. Trinquet, An ADL Centric Approach for the Formal Design of Real-Time Systems, Architecture Description Language Workshop at IFIP World Computer Congress (WADL'04). T. 176, pp.67-82, 2004.
DOI : 10.1007/0-387-24590-1_5

T. Fleming and A. Burns, Extending Mixed Criticality Scheduling, Proceedings of the Workshop on Mixed Criticality (WMC'13). 2013, pp.7-12

M. R. Garey, R. L. Graham, D. S. Johnson, and A. Yao, MPC8641D : Integrated Host Processor Family Reference Manual [Fre10] Freescale. QorIQ P4080 : Communications Processors with Data Path Resource Constrained Scheduling as Generalized Bin Packing, In : J. Comb. Theory, Ser. A, vol.213, pp.257-298, 1976.

P. Garoche, F. Howar, T. Kahsai, and X. Thirioux, Testing-Based Compiler Validation for Synchronous Languages, NASA Formal Methods, pp.246-251, 2014.
DOI : 10.1007/978-3-319-06200-6_19

M. Gatti, Development and certification of Avionics Platforms on Multi-Core processors " . In : Tutorial Mixed-Criticality Systems : Design and Certification Challenges, 2013.

[. Geeraerts, J. Goossens, and M. Lindström, Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm, Real-Time Systems, vol.20, issue.1, pp.171-218, 2013.
DOI : 10.1007/s11241-012-9172-y

[. Gervais, J. Chaudron, P. Siron, R. Leconte, and D. Saussié, Real-Time Distributed Aircraft Simulation through HLA, 2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications, p.2012
DOI : 10.1109/DS-RT.2012.45

A. Girault and X. Nicollin, Clock-Driven Automatic Distribution of Lustre Programs, Proceedings of the 3rd International Conference on Embedded Software (EM- SOFT'03). T. 2855. Lecture Notes in Computer Science, pp.206-222, 2003.
DOI : 10.1007/978-3-540-45212-6_14

A. Girault, X. Nicollin, and M. Pouzet, Automatic rate desynchronization of embedded reactive programs, ACM Transactions on Embedded Computing Systems, vol.5, issue.3, pp.687-717, 2006.
DOI : 10.1145/1165780.1165786

S. Girbal, Flight Management System : Addendum to use-case specifications, Upper FMS part, Rapp. tech. Thales Research & Technology, 2012.

S. Girbal, Flight Management System Use-case overview, Rapp. tech. Thales Research & Technology, 2012.

[. Grandpierre, C. Lavarenne, and Y. Sorel, Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors, Proceedings of the seventh international workshop on Hardware/software codesign , CODES '99, pp.74-78, 1999.
DOI : 10.1145/301177.301489

A. Grolleau and . Choquet-geniet, Ordonnancement de tâches temps réel en environnement multiprocesseur à l'aide de réseaux de Petri, Time Systems, 2001.

J. Grolleau, L. Goossens, and . Cucu-grosjean, On the periodic behavior of real-time schedulers on identical multiprocessor platforms, CoRR abs/1305, p.3849, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00920529

[. Guan, Z. Gu, Q. Deng, S. Gao, and G. Yu, Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking, Proceedings of th Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop (SEUS'07, pp.263-272, 2007.
DOI : 10.1109/TC.2003.1214344

[. Guan, Z. Gu, M. Lv, Q. Deng, and G. Yu, Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.556-560, 2008.
DOI : 10.1109/ISORC.2008.74

[. Halbwachs, Synchronous Programming of Reactive Systems, p.792393112, 1992.

J. L. Herman, C. J. Kenna, M. S. Mollison, J. H. Anderson, and D. M. Johnson, RTOS Support for Multicore Mixed-Criticality Systems, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, pp.197-208
DOI : 10.1109/RTAS.2012.24

P. Hladik, H. Cambazard, A. Déplanche, and N. Jussien, Solving a real-time allocation problem with constraint programming, Journal of Systems and Software, vol.81, issue.1, pp.132-149, 2008.
DOI : 10.1016/j.jss.2007.02.032
URL : https://hal.archives-ouvertes.fr/hal-00293898

[. Ilog, CPLEX Optimization Studio url : http://www.ibm.com/software/ integration/optimization/cplex-optimization-studio, 2014.

[. Ieee, IEEE Standard for Modeling and Simulation High Level Architecture (HLA), p.18, 2010.

G. Kahn, The Semantics of Simple Language for Parallel Programming International Federation for Information Processing (IFIP'74) Congress [Kal12] Kalray. The MPPA hardware architecture Architecture Patterns for Safe Design, AAAF 1st Complex and Safe Systems Engineering Conference, 1974.

H. Kopetz, Sparse time versus dense time in distributed real-time systems, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems, pp.460-467, 1992.
DOI : 10.1109/ICDCS.1992.235008

H. Kopetz and G. Bauer, The Time-Triggered Architecture, Proceedings of the IEEE 91, 2003.

W. Matthew and . Kracht, Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages, Thèse de doct. Virginia Polytechnic Institute et State University, 2014.

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, 2009.
DOI : 10.1145/1629335.1629351

J. Laperche, Multi/many-core in Avionics Systems, 4th Workshop TOR- RENTS, 2013.

[. Lauzac, R. Melhem, and D. Mosse, Comparison of global and partitioning schemes for scheduling rate monotonic tasks on a multiprocessor, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168), pp.188-195, 1998.
DOI : 10.1109/EMWRTS.1998.685084

D. Le-berre and A. Parrain, The Sat4j library, release 2.2 system description, In : Journal on Satisfiability Boolean Modeling and Computation, vol.7, pp.59-64, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

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

A. Edward, A. Lee, and . Sangiovanni-vincentelli, The tagged signal model -a preliminary version of a denotational framework for comparing models of computation, 1996.

J. [. Leiserson and . Saxe, Optimizing synchronous systems, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981), pp.23-36, 1981.
DOI : 10.1109/SFCS.1981.34

Y. Joseph, M. L. Leung, and . Merrill, A Note on Preemptive Scheduling of Periodic, Real-Time Tasks, Inf. Process. Lett, vol.113, pp.115-118, 1980.

[. Li, K. Sanjoy, and . Baruah, Global Mixed-Criticality Scheduling on Multiprocessors, 24th Euromicro Conference on Real-Time Systems (ECRTS'12, pp.166-175, 2012.

P. Li, B. Ravindran, S. Suhaib, and S. Feizabadi, A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems, IEEE Transactions on Software Engineering, vol.30, issue.9, pp.613-629, 2004.
DOI : 10.1109/TSE.2004.45

[. Lindström, G. Geeraerts, and J. Goossens, A faster exact multiprocessor schedulability test for sporadic tasks, 19th International Conference on Real-Time and Network Systems, pp.25-34, 2011.

C. Liu, J. W. Layland-reineke, and E. A. Lee, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, PRET Architecture Supporting Concurrent Programs with Composable Timing Properties " . In : 44th Asilomar Conference on Signals, Systems, and Computers, pp.46-61, 1973.

[. Mallet, J. Deantoni, C. André, and . Robert-de-simone, The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010.
DOI : 10.1007/s11334-009-0109-0
URL : https://hal.archives-ouvertes.fr/inria-00464894

[. Mancuso, R. Dudko, E. Betti, M. Cesati, M. Caccamo et al., Real-time cache management framework for multi-core architectures, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.45-54
DOI : 10.1109/RTAS.2013.6531078

[. Maraninchi and N. Halbwachs, Compositional semantics of non-deterministic synchronous languages, Proceedings of the 6th European Symposium on Programming Languages and Systems. ESOP '96, pp.235-249, 1996.
DOI : 10.1007/3-540-61055-3_40

S. Martin, Maîtrise de la dimension temporelle de la Qualité de Service dans les Réseaux, Thèse de doct, 2004.

H. Metivier, J. Talpin, T. Gautier, and P. L. Guernic, Analysis of Periodic Clock Relations in Polychronous Systems, IFIP, Distributed Embedded Systems : Design, Middleware and Ressources (DIPES'08, 2008.
DOI : 10.1007/978-0-387-09661-2_5

[. Mohapatra, Wormhole routing techniques for directly connected multicomputer systems, ACM Computing Surveys, vol.30, issue.3, pp.374-410
DOI : 10.1145/292469.292472

M. S. Mollison, J. P. Erickson, J. H. Anderson, S. K. Baruah, and A. John, Scoredos et Northrop Grumman Corporation Mixed-Criticality Real-Time Scheduling for Multicore Systems, 10th IEEE International Conference on Computer and Information Technology (CIT'10, pp.1864-1871, 2010.

[. Nelis, P. M. Yomsi, and J. Goossens, Feasibility intervals for homogeneous multicores, asynchronous periodic tasks, and FJP schedulers, Proceedings of the 21st International conference on Real-Time Networks and Systems, RTNS '13, pp.277-286, 2013.
DOI : 10.1145/2516821.2516848

[. Noulard, J. Rousselot, and P. Siron, CERTI, an Open Source RTI, Why and How ? " In : Spring Simulation Interoperability Workshop (mar, pp.23-27, 2009.

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

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

J. Nowotsch, M. Paulitsch, D. Bühler, 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, 2014.
DOI : 10.1109/ECRTS.2014.20

W. O. Timothy, S. Neil, H. M. Tongsima-et-edwin, and . Sha, Optimal scheduling of data-flow graphs using extended retiming, Proceedings of the ISCA 12th International Conference on Parallel and Distributed Computing Systems, pp.292-297, 1999.

[. Osek-martin, B. Otter, H. Thiele, and . Elmqvist, VDX -Operating System -Version 2.2.3. Rapp. tech. OSEK Group A library for synchronous control systems in modelica, Proceedings of 9th International Modelica Conference, pp.3-5, 2005.

[. Pathan, Schedulability Analysis of Mixed-Criticality Systems on Multiprocessors, 2012 24th Euromicro Conference on Real-Time Systems, pp.309-320
DOI : 10.1109/ECRTS.2012.29

[. 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, 2011.
DOI : 10.1109/RTAS.2011.33

[. Peng, G. Kang, . Shin, F. Tarek, and . Abdelzaher, Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems, IEEE Trans. Software Eng, vol.2312, pp.745-758, 1997.

[. Pinho, E. Quiñones, M. Bertogna, A. Marongiu, J. Pereira-carlos et al., P-SOCRATES: A parallel software framework for time-critical many-core systems, Euromicro Conference on Digital System Design, 2014.
DOI : 10.1016/j.micpro.2015.06.004

[. Pouchet, PolyBench Benchmark Suite, 2013.

[. Ptolemaeus, System Design, Modeling, and Simulation using Ptolemy II

A. Rahni, E. Grolleau, and . Richard, An efficient response-time analysis for real-time transactions with fixed priority assignment, Innovations in Systems and Software Engineering, vol.9, issue.39, pp.197-209, 2009.
DOI : 10.1007/s11334-009-0095-2

A. Mario, M. G. Rivas, and . Harbour, POSIX-Compatible Application-Defined Scheduling in MaRTE OS, 14th Euromicro Conference on Real-Time Systems, 2002.

[. Rixner, W. J. Dally, U. J. Kapasi, P. R. Mattson, and J. D. Owens, Memory access scheduling, 27th International Symposium on Computer Architecture (ISCA'00, pp.128-138, 2000.

C. Rochange, Prévisibilité des temps d'exécution pire-cas " . français. Habilitation à diriger des recherches, 2011.

[. Inc, DO-178 ED-12B -Software Considerations in Airborne Systems and Equipment Certification, 2008.

R. Inc, DO-178 ED-12C -Software Considerations in Airborne Systems and Equipment Certification, 2011.

[. Inc, DO-333 -Formal Methods Supplement to DO-178C and DO-278A, 2011.

S. Rubini, P. Dissaux, and F. Singhoff, Modeling Shared-Memory Multiprocessor Systems with AADL, Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems (ACVI@MoDELS'14), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01121245

A. Rugina, P. H. Feiler, K. Kanoun, and M. Kaâniche, Software dependability modeling using an industry-standard architecture description language, Embedded Systems and Real-Time Systems (ERTS'08, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00323983

[. Sae, Aerospace Recommended Practices ARP4754a -Development of Civil Aircraft and Systems. SAE, 2010.

J. Scheller, Real-time operating systems for many-core platforms " . Mém.de mast, 2012.

[. Schild and J. Würtz, Scheduling of Time-Triggered Real-Time Systems, pp.335-357, 2000.

[. Schranzhofer, J. Chen, and L. Thiele, Timing Analysis for TDMA Arbitration in Resource Sharing Systems, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010.
DOI : 10.1109/RTAS.2010.24

B. David, D. Skillicorn, and . Talia, Models and Languages for Parallel Computation, In : ACM Computing Surveys, vol.30, pp.123-169, 1998.

[. Guernic, A Canonical Form for Affine Relations in Signal, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00073594

[. Sofronis, S. Tripakis, and P. Caspi, A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.21-33, 2006.
DOI : 10.1145/1176887.1176892

Y. Sorel, Real-time embedded image processing applications using the A/sup 3/ methodology, Proceedings of 3rd IEEE International Conference on Image Processing, pp.145-148, 1996.
DOI : 10.1109/ICIP.1996.560623

J. Sparso, Design of Networks-on-Chip for Real-Time Multi-processor Systems-on-Chip, 2012 12th International Conference on Application of Concurrency to System Design, pp.1-5
DOI : 10.1109/ACSD.2012.27

[. Tanguy, J. Béchennec, M. Briday, S. Dube, H. Olivier et al., Device driver synthesis for embedded systems, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), pp.1-8
DOI : 10.1109/ETFA.2013.6647951
URL : https://hal.archives-ouvertes.fr/hal-00942323

[. Tarjan, Enumeration of the Elementary Circuits of a Directed Graph, SIAM Journal on Computing, vol.2, issue.3, pp.211-216, 1973.
DOI : 10.1137/0202017

[. Thales, FMS 220 Software Requirement Specification (SRS), Rapp. tech. THALES, pp.1-1019, 2010.

[. Mathworks, Simulink : User's Guide. The Mathworks, 2014.

[. 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

[. Corp, Tile processor architecture -Overview for the TILEPro Series

[. Corp, Tilera Documentation : Gx MDE Programming Overview

[. Tripakis, C. Sofronis, P. Caspi, and A. Curic, Translating discrete-time simulink to lustre, ACM Transactions on Embedded Computing Systems, vol.4, issue.4, pp.779-818, 2005.
DOI : 10.1145/1113830.1113834

[. Ungerer, F. J. Cazorla, P. Sainrat, G. Bernat, Z. Petrov et al., Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability, IEEE Micro, vol.30, issue.5, pp.66-75
DOI : 10.1109/MM.2010.78

S. Vestal, Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), pp.239-243, 2007.
DOI : 10.1109/RTSS.2007.47

[. 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, vol.7, issue.3, pp.1-36, 2008.
DOI : 10.1145/1347375.1347389

R. Wilhelm and J. Reineke, Embedded systems: Many cores — Many problems, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), 2012.
DOI : 10.1109/SIES.2012.6356583

J. Xu, Multiprocessor scheduling of processes with release times, deadlines, precedence, and exclusion relations, IEEE Transactions on Software Engineering, vol.19, issue.2, pp.139-154, 1993.
DOI : 10.1109/32.214831

J. Xu, . David-lorge, and . Parnas, On Satisfying Timing Constraints in Hard-Real-Time Systems, IEEE Transaction on Software Engineering, vol.191, pp.70-84, 1993.

E. Yip, M. Kuo, P. Roop, and D. Broman, Relaxing the synchronous approach for mixed-criticality systems, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
DOI : 10.1109/RTAS.2014.6925993

E. Yip, P. Roop, M. Biglari-abhari, and A. Girault, Programming and Timing Analysis of Parallel Programs on Multicores, 2013 13th International Conference on Application of Concurrency to System Design, pp.167-176, 2013.
DOI : 10.1109/ACSD.2013.19
URL : https://hal.archives-ouvertes.fr/hal-00842402

H. Yun, R. Mancuso, Z. Wu, and R. Pellizzoni, PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
DOI : 10.1109/RTAS.2014.6925999

G. Yun, R. Yao, M. Pellizzoni, L. Caccamo, and . Sha, MemGuard : Memory bandwidth reservation system for efficient performance isolation in multi-core platforms, 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'13). 2013, pp.55-64

[. Zeng and M. D. Natale, Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines, 2012 24th Euromicro Conference on Real-Time Systems, pp.353-362, 2012.
DOI : 10.1109/ECRTS.2012.30

M. Ziwisky and D. Brylow, BareMichael : A Minimalistic Bare-metal Framework for the Intel SCC, Proceedings of the 6th Many-core Applications Research Community (MARC) Symposium. 2012, pp.66-71
URL : https://hal.archives-ouvertes.fr/hal-00719038