Multi-core processor: Stepping inside the box - IRT Saint Exupéry - Institut de Recherche Technologique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Multi-core processor: Stepping inside the box

Résumé

The last decade has seen the emergence of multi-core and many-core processors replacing historical uni-processors in most of the applicative domains. There is no doubt that the next generation of aircraft will rely on these technologies raising major issues especially with regard to safety assessment. Indeed, currently, a processor is considered as a black-box component where any single internal failure leads to the loss of all executed software. Due to the numerous resources provided by such platform, position papers like the CAST-32A promote a finer analysis of the safety impact of internal component failures. Hence there is a necessity to open the box and see such a processor as a subsystem. We introduce a formal modeling framework capturing the main characteristics of software/hardware failure propagation. This framework is applied on a simplified UAV control use-case.
Fichier principal
Vignette du fichier
DTIS21097.pdf (145.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03423962 , version 1 (10-11-2021)

Identifiants

  • HAL Id : hal-03423962 , version 1

Citer

Philippe Cuenot, Kevin Delmas, Claire Pagetti. Multi-core processor: Stepping inside the box. ESREL 2021, Sep 2021, Angers, France. ⟨hal-03423962⟩
95 Consultations
58 Téléchargements

Partager

Gmail Facebook X LinkedIn More