Éric Piel

TL;DR: The Gaspard design framework for massively parallel embedded systems uses the repetitive Model of Computation (MoC), which offers a powerful expression of the regular parallelism available in both system functionality and architecture and allows the designers to automatically generate code for formal verification, simulation and hardware synthesis from high-performance embedded systems.

TL;DR: An efficient MPSoC design environment, Gaspard2, based on a Model-Driven Engineering (MDE) methodology, that uses the new standard MARTE for high level system representation and targets SystemC code generation at the Timed Programmer View (PVT) level.

TL;DR: This paper introduces a new test case prioritization approach that maximizes the improvement of the diagnostic information per test, and minimizes the loss of diagnostic quality in the prioritized test suite.

TL;DR: The Gaspard design framework for high performance embedded systems uses the repetitive Model of Computation (MoC), which offers a powerful expression of the parallelism available in both system functionality and architecture, and allows the designers to automatically generate code for formal verification, simulation and hardware synthesis from high level specifications of highperformance embedded systems.

TL;DR: A qualitative model of runtime testability that complements Binder's classical testability model, and a generic measurement framework for quantitatively assessing the degree ofruntime testability of a system based on the ratio of what can be tested at runtime vs. what would have been tested during development time are presented.