Identification of Multi-Core Interference
Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder · 2019
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.