Skip to Main content Skip to Navigation
Conference papers

A model-based certification approach for multi/many-core embedded systems

Abstract : This article presents the first year results of the PHY-LOG project that aims at providing a model-based certification framework for aeronautics systems designers when developing multi/many-core-based architectures. After a brief reminder of the certification objectives, we present an overview of the PHYLOG approach. We then detail two points of the methodology: (1) a certification oriented meta-model for multi-and many-core platforms, and (2) an interference prediction method based on this meta-model. This method is then illustrated on a sub-part of the many-core Kalray MPPA R-256.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Claire Pagetti <>
Submitted on : Monday, February 5, 2018 - 12:52:54 PM
Last modification on : Tuesday, March 16, 2021 - 3:20:07 PM
Long-term archiving on: : Saturday, May 5, 2018 - 12:47:40 AM


Files produced by the author(s)


  • HAL Id : hal-01700857, version 1



Pierre Bieber, Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Claire Pagetti, et al.. A model-based certification approach for multi/many-core embedded systems. ERTS 2018, Jan 2018, Toulouse, France. ⟨hal-01700857⟩



Record views


Files downloads