Your Selections

Polacsek, Thomas
Show Only

Collections

Content Types

Dates

Sectors

Topics

Authors

Publishers

Affiliations

Events

 

Service-based Modelling Approach to Ease the Certification of Multi-core COTS Processors

ONERA-Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Kevin Delmas, Claire Pagetti, Thomas Polacsek, Nathanaël Sensfelder
  • Technical Paper
  • 2019-01-1851
To be published on 2019-09-16 by SAE International in United States
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