Accéder directement au contenu

Mikaël Briday

30
Documents

Domaines de recherche

Systèmes embarqués

Publications

Image document

SCHEMATIC: Compile-time checkpoint placement and memory allocation for intermittent systems

Hugo Reymond , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut
IEEE/ACM International Symposium on Code Generation and Optimization (CGO'24), Mar 2024, Edinburgh, United Kingdom. pp.258-269, ⟨10.1109/CGO57630.2024.10444789⟩
Communication dans un congrès hal-04345348v2

MORTEM: a new runtime for intermittent computing

Antoine Bernabeu , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Olivier H. Roux
Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS), Jul 2023, Annecy, France
Communication dans un congrès hal-04354069v1

Securing a RISC-V architecture: A dynamic approach

Sébastien Pillement , Maria Mendez Real , Pottier Juliette , Nieddu T. , Sébastien Faucou
DATE Conference 2023, Apr 2023, Antwerp, Belgium
Communication dans un congrès hal-03906564v1
Image document

Expressiveness and analysis of Delayable Timed Petri Net

Rémi Parrot , Hanifa Boucheneb , Mikaël Briday , Olivier H Roux
16th IFAC Workshop on Discrete Event Systems WODES 2022, IFAC, Sep 2022, Prague, Czech Republic. pp.284-290, ⟨10.1016/j.ifacol.2022.10.355⟩
Communication dans un congrès hal-03952599v1
Image document

Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittents

Antoine Bernabeu , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Olivier Henri Roux
Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Communication dans un congrès hal-03449539v1
Image document

Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds

Vincent Lostanlen , Antoine Bernabeu , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou
Proceedings of the International Workshop on the Internet of Sounds (IWIS), Audio Mostly, Sep 2021, Trento, Italy
Communication dans un congrès hal-03324622v1
Image document

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design

Rémi Parrot , Mikaël Briday , Olivier H Roux
42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.55-75, ⟨10.1007/978-3-030-76983-3_4⟩
Communication dans un congrès hal-03266806v1
Image document

Pipeline Optimization using a Cost Extension of Timed Petri Nets

Rémi Parrot , Mikaël Briday , Olivier H Roux
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), Jun 2021, Lyngby, Denmark. pp.37-44, ⟨10.1109/ARITH51176.2021.00018⟩
Communication dans un congrès hal-03464317v1
Image document

Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinés

Rémi Parrot , Mikaël Briday , Olivier H Roux
Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Communication dans un congrès hal-03587736v1

HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems

Dimitry Solet , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Sébastien Pillement
2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Aug 2018, Edinburgh, United Kingdom. ⟨10.1109/AHS.2018.8541459⟩
Communication dans un congrès hal-01804096v1

Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection

Dimitry Solet , Mikaël Briday , Jean-Luc Béchennec , Sébastien Faucou , Sébastien Pillement
14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania. ⟨10.1109/edcc.2018.00016⟩
Communication dans un congrès hal-01874233v1

WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction

Armel Mangean , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou
Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Aug 2017, Montréal, Canada. pp.64--78, ⟨10.1007/978-3-319-66176-6_5⟩
Communication dans un congrès hal-01713094v1
Image document

BEST: a Binary Executable Slicing Tool

Armel Mangean , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Jul 2016, Toulouse, France. pp.7:1--7:10, ⟨10.4230/OASIcs.WCET.2016.7⟩
Communication dans un congrès hal-01713140v1
Image document

Hardware runtime verification of embedded software in SoPC

Dimitry Solet , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Sébastien Pillement
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), May 2016, Cracovie, Poland. SIES 2016 paper 16, ⟨10.1109/sies.2016.7509425⟩
Communication dans un congrès hal-01307973v1
Image document

Reactive Embedded Device Driver Synthesis using Logical Timed Models

Julien Tanguy , Jean-Luc Béchennec , Mikaël Briday , Olivier-H Roux
4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005040101630169⟩
Communication dans un congrès hal-01142411v1
Image document

A compiled Cycle Accurate Simulation for Hardware Architecture

Adrien Bullich , Mikaël Briday , Jean-Luc Béchennec , Yvon Trinquet
5th International Conference on Advances in System Simulation - SIMUL 2013, Oct 2013, VENICE, Italy. pp.213-225
Communication dans un congrès hal-00943401v1
Image document

Device driver synthesis for embedded systems

Julien Tanguy , Jean-Luc Béchennec , Mikaël Briday , Sébastien Dubé , Olivier Henri Roux
18th IEEE International Conference on Emerging Technologies & Factory Automation, Sep 2013, Cagliari, Italy
Communication dans un congrès hal-00942323v1

An Architecture Description Language for Embedded Hardware Platforms

Guillaume Savaton , Jean-Luc Béchennec , Mikaël Briday , Rola Kassem
Workshop on OCL and Textual Modelling, TOOLS 2011, 2011, Zürich, Anguilla
Communication dans un congrès hal-01179758v1

Extending HARMLESS Architecture Description Language for Embedded Real-Time Systems Validation

Jean-Luc Béchennec , Mikaël Briday , Valère Alibert
IEEE International Symposium on Industrial Embedded Systems, Jun 2011, Västerås, Sweden. pp.223
Communication dans un congrès hal-00941186v1

Cycle accurate simulator generator using Harmless

Rola Kassem , Mikaël Briday , Jean-Luc Béchennec , Yvon Trinquet , Guillaume Savaton
Int. Middle Eastern Multiconference on Simulation and Modelling (MESM'09), EUROSIS, Sep 2009, Beirut, Lebanon
Communication dans un congrès inria-00538508v1

Instruction set simulator generation using Harmless, a new hardware architecture description language

Rola Kassem , Mikaël Briday , Jean-Luc Béchennec , Yvon Trinquet , Guillaume Savaton
2nd Int. Conf. on Simulation Tools and Techniques for Communications, Networks ans Systems (Simutools 2009), ICST / ACM SIGSIM, Mar 2009, Roma, Italy
Communication dans un congrès inria-00538502v1
Image document

Simulator Generation Using an Automaton Based Pipeline Model for Timing Analysis.

Rola Kassem , Mikaël Briday , Jean-Luc Béchennec , Yvon Trinquet , Guillaume Savaton
International Multiconference on Computer Science and Information Technology (IMCSIT), International Workshop on Real Time Software (RTS'08)., Oct 2008, Wisla, Poland. pp.657-664
Communication dans un congrès hal-00486839v1

Trampoline - an open source implementation of the osek/vdx rtos specification

Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Yvon Trinquet
11th Int. Conf. on Emerging Technologies and Factory Automation (ETFA'06), IEEE, Sep 2006, Prague, Czech Republic
Communication dans un congrès inria-00538492v1