A model-based certification approach for multi/many-core embedded systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

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.
Fichier principal
Vignette du fichier
phylog-erts2018.pdf (435.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01700857 , version 1 (05-02-2018)

Identifiants

  • HAL Id : hal-01700857 , version 1

Citer

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⟩
405 Consultations
656 Téléchargements

Partager

Gmail Facebook X LinkedIn More