A service-based modelling approach to ease the certification of multi-core COTS processors

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

1 DTIS, ONERA, Université de Toulouse [Toulouse]
2 Génie Informatique
3 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. Among those, two types of analysis are required: interference and safety analyses. Because of the large size of the platforms and their complexity, those analyses can lead to combinatorial explosion and to some misinterpretation. To tackle these issues, we explore a service-based modelling approach that leads to a simplification of the analyses and to the highlighting of salient properties, making the adaptation of the certification argumentation efficient.

Keywords: METHODE FORMELLE; CERTIFICATION; MULTI-COEURS

Domains: Computation and Language [cs.CL]

Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Kevin Delmas, Claire Pagetti, et al.. A service-based modelling approach to ease the certification of multi-core COTS processors. SAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩. ⟨hal-02441365⟩