Identification of multi-core interference

Frédéric Boniol (1) , Claire Pagetti (2, 1) , Nathanaël Sensfelder (1)

1 DTIS, ONERA, Université de Toulouse [Toulouse]
2 IRIT-RMESS - Réseaux, Mobiles, Embarqués, Sans fil, Satellites

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.

Keywords: Multi-core; certification; timing interference

Domains: Computation and Language [cs.CL]

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⟩