2025 Agenda

This session will present a project focused on the implementation of the Model-Based Safety Analysis (MBSA) methodology for Air Traffic Management (ATM) safety studies, leveraging the SimfiaNeo tool. We will showcase a demonstrator model developed for an ATM system within the tool.

The core advantage of this approach lies in SimfiaNeo’s ability to perform an in-depth analysis of the system and the propagation of failures within it. The traditional methodology relies on fault trees, requiring the safety engineer to manually imagine all potential failure scenarios. This manual process is inherently time-consuming and error-prone. Conversely, SimfiaNeo exhaustively and automatically analyzes all failure propagation paths that can lead to a failure condition.

Furthermore, MBSA and SimfiaNeo provide benefits that extend beyond mere time and cost efficiency. By being integrated with the design, the safety model provides a more concrete approach than a classic fault tree. This proximity to the system design significantly facilitates exchanges with both design teams and operational personnel, which in turn accelerates system adoption and technical discussions. The model itself therefore becomes a powerful presentation and communication support tool.

The objective is to highlight and showcase the significant advantages of this approach and the specific gains offered by a dedicated tool like SimfiaNeo in ATM safety assessments, leading to improvements in both rigor and efficiency.