PHYLOG certification methodology: a sane way to embed multi-core processors

Frédéric Boniol (1) , Youcef Bouchebaba (1) , Julien Brunel (1) , Kevin Delmas (1) , Thomas Loquen (1) , Alfonso Mascarenas Gonzalez (1) , Claire Pagetti (2, 1) , Thomas Polacsek (1) , Nathanaël Sensfelder (1)

1 DTIS, ONERA, Université de Toulouse [Toulouse]
2 IRIT-RMESS - Réseaux, Mobiles, Embarqués, Sans fil, Satellites

The PHYLOG project aims at offering a model-based software-aided certification framework for aeronautical systems based on multi/many-core architectures. Certifying such platforms will entail fulfilling the high level objectives of the MCP-CRI / CAST-32A position paper. To reach this general objective, we have defined a certification framework based on patterns to express any argumentation; as well as formal and automatic analyses to support the proof of the argumentation. In this paper, we will introduce the certification methodology and apply it on the KEYSTONE platform.

Mots clés: Certification; multi-core

Domaines: Informatique et langage [cs.CL]

Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Kevin Delmas, Thomas Loquen, et al.. PHYLOG certification methodology: a sane way to embed multi-core processors. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02441323⟩