Identification of multi-core interference - Réseaux, Mobiles, Embarqués, Sans fil, Satellites Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Identification of multi-core interference

Résumé

The CAST-32A provides some guidelines to help certify multi-core-based systems in the avionics domain. One major requirement is to compute all the potential interference and to provide adequate mitigation means. In this paper, we compare two approaches to identify the interference: the initiator-target and the Phylog models. The latter is more compact and efficient, despite also covering all of the problematic conflictual situations.
Fichier principal
Vignette du fichier
main_cado.pdf (383.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder. Identification of multi-core interference. 19th International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzou, China. ⟨10.1109/HASE.2019.00024⟩. ⟨hal-02441353⟩
130 Consultations
219 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More