Deterministic platform software for hard real-time systems using multi-core COTS S Girbal, X Jean, J Le Rhun, D Gracia Pérez, M Gatti Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th, 8D4-1-8D4-15, 2015 | 50 | 2015 |
Ensuring robust partitioning in multicore platforms for ima systems X Jean, D Faura, M Gatti, L Pautet, T Robert 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), 7A4-1-7A4-9, 2012 | 40 | 2012 |
MULCORS-Use of Multicore Processors in airborne systems X Jean, M Gatti, G Berthon, M Fumey EASA, Tech. Rep., 2012 | 38 | 2012 |
Assurance of multicore processors in airborne systems LH Mutuel, X Jean, V Brindejonc, A Roger, T Megel, E Alepins Federal Aviation Administration William J. Hughes Technical Center, Aviation …, 2017 | 14 | 2017 |
A software approach for managing shared resources in multicore IMA systems X Jean, M Gatti, D Faura, L Pautet, T Robert 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC), 7D1-1-7D1-15, 2013 | 13 | 2013 |
Hypervisor control of COTS multi-cores processors in order to enforce determinism for future avionics equipment X Jean Telecom ParisTech, 2015 | 11 | 2015 |
Assurance methods for COTS multi-cores in avionics X Jean, L Mutuel, V Brindejonc 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-7, 2016 | 10 | 2016 |
The use of multicore processors in airborne systems X Jean, M Gatti, G VBerthon, M Fumey Dossier ref. CCC/12/006898–Rev 7, 2011 | 5 | 2011 |
Investigation of error types associated with failures in multicore processors L Mutuel, X Jean, V Brindejonc 20eme Congres de Maıtrise des Risques et Sûreté de Fonctionnement, 2016 | 4 | 2016 |
Limitations of interference analyses on multicore processors L Mutuel, X Jean, R Soulat 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC), 1-8, 2017 | 3 | 2017 |
Safety considerations for WCET evaluation methods in avionic equipment X Jean, S Girbal, A Roger, T Megel, V Brindejonc Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th, 7A4-1-7A4-15, 2015 | 3 | 2015 |
Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique X Jean Paris, ENST, 2015 | 3 | 2015 |
STARTREC: Verification of a safety-critical system for autonomous vehicles MW El Khazen, SB Amor, L Cucu-Grosjean, A Dumérat, X Jean, ... ERTS 2022-Embedded Real Time Systems, 2022 | | 2022 |
White Paper on Issues Associated with Interference Applied to Multicore Processors X Jean, L Mutuel, D Regis, H Misson, G Berthon, M Fumey http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/media …, 2016 | | 2016 |
CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEUR X Jean, M Gatti, D Faura, T Robert | | 2015 |
ETUDE DES TYPES D’ERREUR ASSOCIES AUX PANNES DANS LES PROCESSEURS MULTICOEUR INVESTIGATION OF ERROR TYPES ASSOCIATED WITH FAILURES IN MULTICORE PROCESSORS LH Mutuel, X Jean, V Brindejonc, H de Roussigny | | |