La vérification et la validation des lois de guidage, navigation et commande (GNC) des systèmes spatiaux repose essentiellement sur un processus d’analyse globale par simulations de Monte-Carlo. Cette approche statistique vise essentiellement à garantir que les spécifications sont rencontrées malgré les dispersions. Cependant, elle requiert un très grand nombre de simulations afin de s’assurer que les pires cas aient été identifiés. Afin de traquer les pire cas de manière plus efficace, un concept proposé ici, tire avantage d’analyses locales au moyen de la mu-analyse pour diriger les analyses globales dans des secteurs à risque et éviter des analyses dans les secteurs sûrs.