Un modèle causal pour explorer les collisions induites par l'ACAS

Les programmes de recherche actuels en gestion du trafic aérien (c'est-à-dire le programme de recherche du Ciel Européen Unique ATM (SESAR), le système de transport aérien de nouvelle génération (NextGen)), tentent de surmonter les pénuries de capacité en zone air tout en améliorant l'efficacité des opérations et la sécurité. Une augmentation de la densité du trafic aérien peut entraîner des scénarios de trafic congestionnés pour lesquels il devient nécessaire de développer de nouvelles procédures de sécurité qui traitent des menaces multithread. Cet article examine certaines des difficultés à établir la validation du système de prévention des collisions en vol (ACAS), qui constitue le dernier recours pour réduire le risque de quasi-collision en air entre avions dans un scénario multithread. Un modèle causal spécifié dans le formalisme des réseaux de Petri colorés (CPN) est présenté comme une approche clé pour analyser l'espace des états d'un scénario de trafic congestionné dans lequel les événements susceptibles de transformer un conflit en collision sont identifiés, offrant un outil stimulant non seulement pour la validation mais aussi pour l'implémentation d'une nouvelle logique ACAS. Le simulateur InCAS d'EuroControl a été utilisé pour illustrer l'importance de l'analyse cause-effet pour les relations entre diverses rencontres qui surviennent dans un scénario multithread, dans lequel le TCAS II v. 7.1 échoue à éviter une collision lorsque deux conseils de résolution sont émis sans tenir compte des effets en aval.