Etude des types d’erreur associés aux pannes dans les processeurs multicoeur

Cet article est la continuation d’un portefeuille de recherche sur la sécurité des composants sur étagère, dont l’utilisation se répand dans les systèmes avioniques complexes (Condra, 2014). Les processeurs multicoeurs sont fréquemment étudiés pour leur impact potentiel sur la sécurité associée à l’indéterminisme (Bieth, 2013). Cet article se concentre sur la détermination des types d’erreurs spécifiques des processeurs multicoeurs, la détermination de leurs effets, les moyens de détection et de mitigation de ces erreurs, ainsi que l’existence de critères pour contenir la panne résultante ou pour récupérer de cette erreur.This paper is a continuation of a research thrust on safety assurance for Commercial Off-the-Shelf (COTS) which use is becoming widely spread in complex avionics (Condra, 2014). Multicore processors are frequently investigated in terms of their potential safety impacts relative to non-determinism (Bieth, 2013). The present paper focuses on the determination of error types specific to multicore processors, the determination of the effects of these failure modes, the means of detection and mitigation of these errors, and the existence of criteria for containment of the resulting failure or recovery from the error