Introducing Operational Diagnosis Models for Ground Station Architectures using Behaviour Trees

Nikolena Christofi (1) , Xavier Pucel (2) , Claude Baron (1) , Marc Pantel (3, 4) , David Canu (5) , Jérôme Golenzer (5) , Christophe Ducamp (5)

1 LAAS-ISI - Équipe Ingénierie Système et Intégration
2 DTIS, ONERA, Université de Toulouse [Toulouse]
3 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
4 Toulouse INP - Institut National Polytechnique (Toulouse)
5 Airbus Defence and Space [Toulouse]

Although the use of models for the design of complex systems is nowadays prevalent, that is often not the case for their operations and maintenance. Complex systems are characterised by high criticality levels as regards to time and safety constraints. The lack of appropriate models for the monitoring of these systems, or the large volume and complexity of the existing ones e.g. system simulators, impose the need for the means and tools provision to the operators, to help them with their diagnostic tasks. The use of formal models for system monitoring and diagnostics can greatly augment the operators' comprehension of the system. To that end, we propose a methodology to create a new type of Operations-Dedicated Model from already existing system design models (functional and dysfunctional), using the Behaviour Trees formalism. With the assumption that Safety Analysis models describe dysfunctional aspects of the systemnotably via Fault Tree Analyses, we us Fault Trees as a direct input for the ODM construction. We demonstrate our proposed approach with an Earth Observation Satellite Ground Station example, and discuss how ODMs can improve systems' operations.

Keywords: fault trees; behaviour trees; operational diagnosis; model-based systems engineering; model-based safety analysis; Behaviour Tree (BT); Fault Detection and Diagnosis (FDD); Fault Detection; Isolation and Recovery (FDIR); Feared Event (FE); Finite State Machine (FSM); Fault Tree (FT); Fault Tree Analysis (FTA); Ground Station (GS); Model-Based Safety Assessment (MBSA); Model-Based Systems Engineering (MBSE); Operations-Dedicated Models (ODM); Telemetry (TM); Telemetry Image (TMI)

Domains: Embedded Systems

Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, David Canu, et al.. Introducing Operational Diagnosis Models for Ground Station Architectures using Behaviour Trees. 17th International Conference on Space Operations (SpaceOps 2023), Mohammed Bin Rashid Space Centre (MBRSC), Mar 2023, Dubai, United Arab Emirates. pp.1--8. ⟨hal-04302310⟩