Identification of multi-core interference

International audienceThe 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