Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Sebastien FAUCOU

ENSEIGNANT-CHERCHEUR

Responsable adjoint d'équipe
Equipe : STR.

: Sebastien.Faucouatls2n.fr

: +33 (0)2 40 30 60 67
: +33 (0)2 55 58 91 79

Adresse :




Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [3] 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) ; éd. ACM, 2017, vol. 16, num. 4.
      https://hal.archives-ouvertes.fr/hal-01713063
    • [4] 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) ; éd. ACM, 2015, vol. 14, num. 4.
      https://hal.archives-ouvertes.fr/hal-01713171

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [5] 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, octobre 2020, Lisbon, Portugal.
      https://hal-cnrs.archives-ouvertes.fr/hal-03006791
    • [6] 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), août 2018, Edinburgh, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-01804096
    • [7] 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), septembre 2018, Iasi, Roumanie.
      https://hal.archives-ouvertes.fr/hal-01874233
    • [8] 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, août 2017, Montréal, Canada.In Kamel Barkaoui (éds.), . Springer, 2017.
      https://hal.archives-ouvertes.fr/hal-01713094
    • [9] 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), mai 2016, Cracovie, Pologne.
      https://hal.archives-ouvertes.fr/hal-01307973
    • [10] 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, mai 2016, Krakow, Pologne.
      https://hal.archives-ouvertes.fr/hal-01399909
    • [11] 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), juillet 2016, Toulouse, France.In Martin Schoeberl (éds.), . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016.
      https://hal.archives-ouvertes.fr/hal-01713140
    • [12] 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, août 2015, New York, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01179648
    • [13] 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, septembre 2015, Paris, France.In Matthieu Roy (éds.), . , 2015.
      https://hal.archives-ouvertes.fr/hal-01193023
    • [14] S. Faucou, S. Cotard, J. Béchennec, A. Queudet, Y. Trinquet. A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR. In 2012 IEEE 14th Int'l Conf. on High Performance Computing and Communication (HPCC) & 2012 IEEE 9th Int'l Conf. on Embedded Software and Systems (ICESS), juin 2012, Liverpool, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-01713202
    • [15] A. Jovanovic, S. Faucou, D. Lime, O. Roux. Real-Time Control with Parametric Timed Reachability Games. In 11th International Workshop on Discrete Event Systems, octobre 2012, Guadalajara, Mexique.
      https://hal.archives-ouvertes.fr/hal-00753689
    • [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), avril 2010, Valencia, Espagne.
      https://hal.inria.fr/inria-00538518
    • [17] 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), septembre 2009, Majorques, Espagne.
      https://hal.inria.fr/inria-00538497
    • [18] 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, mars 2008, Taipei, Taïwan.
      https://hal.archives-ouvertes.fr/hal-00490671
    • [20] 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, mars 2007, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01179695
    • [21] 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, mars 2007, Nancy, France.
      https://hal.archives-ouvertes.fr/hal-00490656
    • [22] 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, juillet 2007, Lisbon, Portugal.
      https://hal.archives-ouvertes.fr/hal-00490661
    • [23] 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), septembre 2006, Prague, République tchèque.
      https://hal.inria.fr/inria-00538492

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [27] 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, octobre 2016, Brest, France.
      https://hal.archives-ouvertes.fr/hal-01713162
    • [28] S. Faucou, F. Simonot-Lion, Y. Trinquet. Architecture Description Languages for the Automotive Domain. In Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. 07-2009
      https://hal.inria.fr/inria-00431438
    • [30] A. Déplanche, F. Sébastien. Description d'architectures pour le temps réel : l'approche AADL. In Systèmes temps réel 1 – Techniques de description et de vérification. 2006
      https://hal.archives-ouvertes.fr/hal-00490265

Autres publications (AUTRES)

    • [31] 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, juin 2016, Nantes, France.
      https://hal.archives-ouvertes.fr/hal-01324796
Copyright : LS2N 2017 - Mentions Légales - 
 -