-
SoC-Trace Infrastructure
Execution traces are a powerful instrument for debugging and profiling embedded applications. The SoC-Trace project aims at developing an open-source trace management... -
Introduction to Fractal systems
19 pages -
Minimal Unroll Factor for Code Generation of Software Pipelining
International audience -
ESA PetriNet: Petri net Based Tool for Reliability Analysis
International audience -
Reachability Analysis of Hybrid Systems using Support Functions
In model based design, one constructs a mathematical model of the system and uses it to design the system so that it exhibits the desired properties. For safety... -
Compositional design of isochronous systems
International audience -
Formalism for the high-level design of hard real-time embedded systems
Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of... -
Optimization methods for side channel attacks
The security of modern embedded systems has been the subject of intensive research in engineering areas. Recent threats called Side-Channel Analysis (SCA) have... -
TimeSquare: Treat your Models with Logical Time
International audience -
⟨HOE⟩2, une méthode intégrée pour le développement des systèmes embarqués
Nombre de pages : 16 -
Frame Packing Algorithms for Automotive Applications
The set of frames exchanged in an in-vehicle applications must meet two constraints: it has to be feasible from a schedulability point of view and it should minimize... -
Inter-process communication energy estimation through AADL modeling
International audience -
A proof of correctness for the construction of property monitors
ISBN: 0-7803-9571-9 -
Scheduling with Quality of Service requirements in Real-Time Energy Harvestin...
International audience -
Image Compression Using Subband Wavelet Decomposition and DCT-based Quantization
International audience -
Improving the Performance of Message Parsers for Embedded Systems
International audience -
A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns
This paper presents a compositional escape analysis adapted for use in resource limited embedded systems. This analysis covers the full Java language, including... -
Reliability Challenges of Real-Time Systems in Forthcoming Technology Nodes
ISBN 978-3-9815370-0-0
