Service-based modelling approach to ease the certification of multi-core COTS processors 2019-01-1851

PHYLOG is a four years DGAC (French Civil Aviation) project (2016-2020) that aims at offering a model-based and software-aided certification framework for aeronautics systems based on multi/many-core architectures. Among the objectives of the position paper MCP-CRI/CAST 32A, two types of analysis are required: interference analysis. and safety analysis. Because of the large size of the multi-core platforms and their complexity, those analyses can lead to combinatorial explosion and some misinterpretation. To simplify those analyses, we explore and classify multi-core platform properties in order to represent a platform as a set of services