“…Such methods have been discussed in previous works [13,14,15,3], where the ATLAS 3 approach is presented. It relies on a modelling of the behaviour of the system leading to the service being provided to the ground by a temporal logic of the interval family [27,9,10] based on Allen's operators [1,2], leading to a logic tree describing the organisation of the different elementary functions of the system, over which an availability metric is computed, allowing the computation of a vulnerability index [11,4], which defines a risk of mission performance degradation due to effects of both trackable and untrackable space debris on a complex space system.…”