Toward a realistic Intrusion Detection System dedicated to smart-home environments
International audience
Execution Trace Analysis for a Precise Understanding of Latency Violations
Despite the amount of proposed works for the verification of diverse model properties, understanding the root cause of latency requirements violation in execution traces is still an open-issue especially for complex HW/SW system-level designs: is it due to an unfavorable real-time scheduling, to contentions on buses, to the characteristics of funct...
Obsolescence, rarefaction and their propagation
All systems are likely to be affected by obsolescence. A component is considered obsolete when it is no longer manufactured or requested. Obsolescence must be taken into account, analysed and resolved effectively as it can lead to temporary or permanent stoppage of a system or make it impossible to repair it. The consequences of an obsolete entity ...
Reliability analysis of a fault-tolerant RISC-V system-on-chip
The space environment's hostility requires that the processors used in spacecraft be designed using fault tolerance techniques to reduce the propagation of errors. In this context, this work presents a low-cost fault-tolerant processor based on the RISC-V architecture, an emerging industry standard for building embedded processors. The implemented ...
Verified Lustre Normalization with Node Subsampling
Dataflow languages allow the specification of reactive systems by mutually recursive stream equations, functions, and boolean activation conditions called clocks. Lustre and Scade are dataflow languages for programming embedded systems. Dataflow programs are compiled by a succession of passes. This article focuses on the normalization pass which re...
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
This document presents a lightweight approach – combining Coq and OCaml typecheckers – in order to formally verify higher-order imperative programs for partial correctness. In this approach, called FVDP (Formally Verified Defensive Programming), Coq-verified programs also contain some OCaml written functions, called oracles, which are untrusted: th...
Efficient Realistic Data Generation Framework leveraging Deep Learning-based Human Digitization
The performance of supervised deep learning algorithms depends significantly on the scale, quality and diversity of the data used for their training. Collecting and manually annotating large amount of data can be both time-consuming and costly tasks to perform. In the case of tasks related to visual human-centric perception, the collection and dist...
Quantization and Deployment of Deep Neural Networks on Microcontrollers
Embedding Artificial Intelligence onto low-power devices is a challenging task that has been partly overcome with recent advances in machine learning and hardware design. Presently, deep neural networks can be deployed on embedded targets to perform different tasks such as speech recognition,object detection or Human Activity Recognition. However, ...
Enhanced System Awareness as Basis for Resilience of Autonomous Vehicles
International audience
A semantic-based approach to analyze the link between security and safety for Internet of Vehicle (IoV) and Autonomous V...
International audience
