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

Autor: Sébastien Faucou, Mikaël Briday, Vincent Lostanlen, Mathieu Lagrange, Antoine Bernabeu, Jean-Luc Béchennec

Publikováno v: Audio Mostly Conference

This position paper advocates for digital sobriety in the design and usage of wireless acoustic sensors. As of today, these devices all rely on batteries, which are either recharged by a human operator or via solar panels. Yet, batteries contain chem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4af3009bfd96e6208108ab52645e1e95
https://doi.org/10.1145/3478384.3478408

Testing Real-Time Systems With Runtime Enforcement

Autor: Sébastien Faucou, Louis-Marie Givel, Matthias Brun, Jean-Luc Béchennec, Olivier Roux

Publikováno v: IEEE Design & Test
IEEE Design & Test, IEEE, 2018, ⟨10.1109/MDAT.2018.2791801⟩

International audience; —When testing a time-critical system, some scenarios can be hard to run when acting only on the input sequence. The proper execution of a given scenario might require for instance a minimal execution time for a given piece o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::341a4f5bb18f10ea64fa26fea824a06b
https://doi.org/10.1109/mdat.2018.2791801

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

Autor: Sébastien Pillement, Sébastien Faucou, Dimitry Solet, Mikaël Briday, Jean-Luc Béchennec

Publikováno v: EDCC
14th European Dependable Computing Conference (EDCC)
14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania. ⟨10.1109/edcc.2018.00016⟩

Nowadays complete systems can be built on a System-on-a-Programmable-Chip that integrates a microcontroller and a FPGA fabric into a single chip. Beside its traditional use to implement hardware accelerators, the FPGA can be used to monitor the softw

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::438381ef3a31037858f4c58b9747e343
https://doi.org/10.1109/edcc.2018.00016

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

Autor: Armel Mangean, Sébastien Faucou, Mikaël Briday, Jean-Luc Bechennec

Publikováno v: Verification and Evaluation of Computer and Communication Systems. VECoS 2017
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⟩
Lecture Notes in Computer Science ISBN: 9783319661759
VECoS

In this paper, we investigate the case for model checking in the WCET analysis of pipelined processors with dynamic branch and target prediction. We consider a microarchitecture inspired by the e200z4 Power 32-bit architecture, with an instruction ca

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d0e81c8076df36d0686017006dad65e
https://hal.archives-ouvertes.fr/hal-01713094

Hardware runtime verification of embedded software in SoPC

Autor: Mikaol Briday, Jean-Luc Bechennec, Sébastien Faucou, Sébastien Pillement, Dimitry Solet

Publikováno v: 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), May 2016, Cracovie, Poland. SIES 2016 paper 16, ⟨10.1109/sies.2016.7509425⟩
SIES

International audience; This paper discusses an implementation of runtimeverification for embedded software running on a System-on-Programmable-Chip (SoPC) composed of a microcontroller anda FPGA. The goal is to verify at runtime that the execution o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::73f0c3219210edc2177d780798978cde
https://hal.archives-ouvertes.fr/hal-01307973/document