A service-based modelling approach to ease the certification of multi-core COTS processors - Réseaux, Mobiles, Embarqués, Sans fil, Satellites Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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

Résumé

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.
Fichier principal
Vignette du fichier
main_cado.pdf (326.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02441365 , version 1 (15-01-2020)

Identifiants

Citer

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⟩
162 Consultations
199 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More