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.

Keywords: Certification; multi-core

Domains: Computation and Language [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⟩