Membre

Fiche Membre

En un clic !

Thématiques de recherche
Pôles d’expertises
Nos équipes
Formation par la recherche
- Doctorats
- Masters
HDR
Thèses
Publications

Composante(s) d’expertise Pôle associée(s)

CCS

Systèmes embarquésSystèmes Temps Réel

Expertises équipes

Calcul intermittentOrdonnancement temps réelSûreté de fonctionnementSystèmes temporisés, paramétrés, hybrides

Sébastien Faucou

Enseignant chercheur / Enseignante chercheuse – Maître / maîtresse de conférences

Equipe : STR

Employeur : Nantes Université

Expertises :

Coordonnées

Email :

Page Pro :

Adresse(s)

Informations non disponibles pour l’instant

Publications déposées sur HAL

Nombre de publications retournées : 47

Revues internationales avec comité de lecture

[1] S. Cotard, A. Queudet, J. Béchennec, S. Faucou, Y. Trinquet. STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems, in ACM Transactions on Embedded Computing Systems (TECS), vol. 14, no. 4, pp. 1 – 25, DOI

[2] K. Tigori, J. Béchennec, S. Faucou, O. Roux. Formal Model-Based Synthesis of Application-Specific Static RTOS, in ACM Transactions on Embedded Computing Systems (TECS), vol. 16, no. 4, pp. 1 – 25, DOI

[3] J. Béchennec, M. Brun, S. Faucou, L. Givel, O. Roux. Testing real-time systems with runtime enforcement, in IEEE Design & Test, vol. 35, no. 4, DOI

[4] S. Faucou, L. Pinho. Guest editorial: real-time networks and systems, in Real-Time Systems, vol. 54, no. 4, pp. 797 – 799, DOI

[5] A. Bernabeu, M. Briday, S. Faucou, J. Béchennec, O. Roux. Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems, in Discrete Event Dynamic Systems, vol. 33, DOI

[6] D. Solet, J. Béchennec, M. Briday, S. Faucou, S. Pillement. A Study in Specification and Hardware Runtime Verification of Critical Embedded Software, in IEEE Transactions on Dependable and Secure Computing, pp. 1-12, DOI

Conférences internationales avec comité de lecture et actes

[7] H. Habrias, S. Faucou. Some reflections on the teaching of Formal Methods, in Teaching Formal Methods, Workshop, TFM 2003, Oxford, UK, Royaume-Uni,

[8] H. Habrias, S. Faucou. Linking Paradigms, Semi-formal and Formal Notations, in {Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004}, Ghent, Belgium, Belgique,

[9] J. Béchennec, M. Briday, S. Faucou, Y. Trinquet. Trampoline – an open source implementation of the osek/vdx rtos specification, in 11th Int. Conf. on Emerging Technologies and Factory Automation (ETFA'06), Prague, République tchèque,

[10] M. Brun, J. Delatour, S. Faucou, G. Savaton. Retour d’expérience sur l’utilisation déclarative d’un langage de transformation pour la génération de code : de AADL vers OSEK/VDX OS, in IDM07, Toulouse, France,

[11] P. Hladik, A. Déplanche, S. Faucou, Y. Trinquet. Schedulability analysis of OSEK/VDX applications, in 15th International Conference on Real-Time and Network Systems – RTNS'07, Nancy, France,

[12] P. Hladik, A. Déplanche, S. Faucou, Y. Trinquet. Adequacy between AUTOSAR OS specification and real-time scheduling theory, in IEEE Second International Symposium on Industrial Embedded Systems – SIES 2007, Lisbon, Portugal,

[13] S. Faucou, P. Hladik, A. Déplanche, Y. Trinquet. Overview of microkernel standards for real-time in-vehicle embedded systems, in 4th Taiwanese-French Conference on Information Technology – TFIT'08, Taipei, Taïwan,

[14] D. Bertrand, A. Déplanche, S. Faucou, O. Roux. A study of the AADL mode change protocol, in 3rd International UML & AADL Workshop, Belfast, Irlande,

[15] D. Bertrand, S. Faucou, Y. Trinquet. An analysis of AUTOSAR OS timing protection mechanisms, in 14th Int. Conf. on Emerging Technologies and Factory Automation (ETFA'09), Majorques, Espagne,

[16] D. Bertrand, S. Faucou, Y. Trinquet. Temporal isolation for the cohabitation of applications in automotive embedded software, in EDDC – Workshop on Critical Automotive Applications: Robustness and Safety (CARS@EDCC), Valencia, Espagne,

[17] S. Cotard, S. Faucou, J. Béchennec, A. Queudet, Y. Trinquet. A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR, in 2012 IEEE 14th International Conference on High Performance Computing and Communication (HPCC) & 2012 IEEE 9th International Conference on Embedded Software and Systems (ICESS), Liverpool, Royaume-Uni, DOI

[18] A. Jovanovic, S. Faucou, D. Lime, O. Roux. Real-Time Control with Parametric Timed Reachability Games, in 11th International Workshop on Discrete Event Systems, Guadalajara, Mexique,

[19] L. Givel, M. Brun, C. Constant, S. Faucou, O. Roux. Use of runtime enforcement for the test of real-time systems, in 12th IEEE International Conference on Embedded Software and Systems, IEEE ICESS 2015, New York, états-Unis,

[20] K. Tigori, J. Béchennec, S. Faucou, O. Roux. Using formal methods for the development of safe application-specific RTOS for automotive systems, in CARS 2015 – Critical Automotive applications: Robustness & Safety, Paris, France,

[21] D. Solet, J. Béchennec, M. Briday, S. Faucou, S. Pillement. Hardware runtime verification of embedded software in SoPC, in 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), Cracovie, Pologne, DOI

[22] L. Givel, J. Béchennec, M. Brun, S. Faucou, O. Roux. Testing real-time embedded software using runtime enforcement, in 11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, Krakow, Pologne,

[23] A. Mangean, J. Béchennec, M. Briday, S. Faucou. BEST: a Binary Executable Slicing Tool, in 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Toulouse, France, DOI

[24] A. Mangean, J. Béchennec, M. Briday, S. Faucou. WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction, in Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Montréal, Canada, DOI

[25] D. Solet, J. Béchennec, M. Briday, S. Faucou, S. Pillement. HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems, in 2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Edinburgh, Royaume-Uni, DOI

[26] D. Solet, M. Briday, J. Béchennec, S. Faucou, S. Pillement. Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection, in 14th European Dependable Computing Conference (EDCC), Iasi, Roumanie, DOI

[27] J. Lagha, J. Béchennec, S. Faucou, O. Roux. Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems Validation, in VALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Lisbon, Portugal,

[28] H. Zahaf, I. Olmedo, J. Singh, N. Capodieci, S. Faucou. Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads, in RTNS'2021: 29th International Conference on Real-Time Networks and Systems, Nantes, France, DOI

[29] V. Lostanlen, A. Bernabeu, J. Béchennec, M. Briday, S. Faucou, M. Lagrange. Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds, in Proceedings of the International Workshop on the Internet of Sounds (IWIS), Trento, Italie,

[30] S. Pillement, M. Mendez Real, J. Pottier, T. Nieddu, B. Le Gal, S. Faucou, J. Béchennec, M. Briday, S. Girbal, J. Le Rhun, O. Gilles, D. Gracia Pérez, A. Sintzoff, J. Coulon. Securing a RISC-V architecture: A dynamic approach, in 2023 Design, Automation and Test in Europe Conference (DATE 2023), Antwerp, Belgique, DOI

[31] H. Reymond, J. Béchennec, M. Briday, S. Faucou, I. Puaut, E. Rohou. SCHEMATIC: Compile-time checkpoint placement and memory allocation for intermittent systems, in IEEE/ACM International Symposium on Code Generation and Optimization (CGO'24), Edinburgh, Royaume-Uni, DOI

[32] H. Reymond, J. Béchennec, M. Briday, S. Faucou, I. Puaut, E. Rohou. EarlyBird: Energy belongs to those who wake up early, in RTCSA 2024 – 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Sokcho, Corée du Sud, DOI

[33] É. André, J. Béchennec, S. Chattopadhyay, S. Faucou, D. Lime, D. Marinho, O. Roux, J. Sun. Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets, in SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Catania (IT), Italie, DOI

[34] M. Carreau, S. Faucou, P. Hladik, V. Lostanlen. Un réseau de neurones frugal pour la détection bioacoustique, in GRETSI’25, Strasbourg, France,

[35] M. Rodet, J. Béchennec, M. Briday, S. Faucou, I. Puaut, E. Rohou. Circadia: Checkpointing for Intermittent Computing in AI Driven Applications, in DSD 2025 – 28th Euromicro Conference on Digital System Design, Salerno, Italie, DOI

[36] C. Maiza, L. Rieg, M. Asavoae, J. Béchennec, D. Blouin, F. Brandner, T. Carle, H. Cassé, S. Faucou, B. Ferres, P. Hladik, J. Erwan, M. Jan, É. Jenn, L. Jezequel, D. Potop Butucaru, I. Puaut, P. Raymond, C. Rochange, P. Sotin, C. Parent-Vigouroux, H. Zahaf, H. Chabot, M. Essabyr, L. Jeanmougin, H. Rebhi. Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-term, in ERTS 2026 – Embedded Real-Time Systems, Toulouse, France, DOI

Conférences nationales avec comité de lecture et actes

[37] A. Bernabeu, J. Béchennec, M. Briday, S. Faucou, O. Roux. Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittents, in Modélisation des Systèmes Réactifs (MSR'21), Paris, France,

[38] A. Bernabeu, J. Béchennec, M. Briday, S. Faucou, O. Roux. MORTEM: a new runtime for intermittent computing, in Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS), Annecy, France,

Ouvrages – Chapitres d'ouvrages et directions d'ouvrages

[39] A. Déplanche, F. Sébastien. Description d'architectures pour le temps réel : l'approche AADL,

[40] A. Déplanche, F. Sébastien. Architecture Description Languages – An Introduction to the SAE AADL,

[41] S. Faucou, F. Simonot-Lion, Y. Trinquet. Architecture Description Languages for the Automotive Domain,

Autres publications

[42] D. Solet, S. Pillement, M. Briday, J. Béchennec, S. Faucou. Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPC, in Colloque National GDR SoC-SiP, Nantes, France,

[43] S. Faucou. Proceedings of the 24th International Conference on Real-Time Network and Systems, {RTNS} 2016, Brest, France, October 19-21, 2016, in 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, DOI

[44] S. Faucou, L. Pinho. Special Issue on Real Time Networks and Systems, in Real-Time Systems, vol. 54, no. 4, DOI

[45] J. Béchennec, A. Bernabeu, M. Briday, S. Faucou. Support d'exécution pour le calcul intermittent, in COMPAS 2021, Lyon, France,

[46] H. Reymond, I. Puaut, E. Rohou, S. Faucou, J. Béchennec, M. Briday. Allocation mémoire pour le Calcul Intermittent, in COMPAS'2022, Amiens, France,

[47] M. Rodet, J. Béchennec, M. Briday, S. Faucou, I. Puaut, E. Rohou. Circadia: Checkpointing for Intermittent Computing in AI Driven Applications, in ACACES 2025 – 21st Internationnal Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems, Salerno, Italie,

OWL – Operating Within Limits

Pas de plateformes référencées pour l’instant

Pas de logiciels de référencés pour l’instant