PHYLOG certification methodology: a sane way to embed multi-core processors - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

PHYLOG certification methodology: a sane way to embed multi-core 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. 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.

Mots clés

Certification multi-core

Domaines

Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
2020-01-15_main.pdf (429.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Claire Pagetti  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02441323

Soumis le : mercredi 15 janvier 2020-17:08:55

Dernière modification le : mercredi 24 juillet 2024-09:31:40

Archivage à long terme le : jeudi 16 avril 2020-17:14:03

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-02441323 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 ONERA CNRS UT1-CAPITOLE PHYLOG ERTS2020 IRIT IRIT-RMESS IRIT-ASR IRIT-INPT TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP DTIS_ONERA
467 Consultations
226 Téléchargements

Partager

More