RAMS (Reliability, Availability, Maintainability, and Safety) are crucial disciplines in the space industry. As in other fields (e.g. air traffic management, aeronautics, rail, etc.), space systems or systems-of-systems are becoming increasingly complex, leading to increasingly complex safety assessments, with the growing difficulty of ensuring the completeness and integrity of analyses. Faced with this increasing complexity, a more sophisticated safety approach is required, which has led to the need to experiment Model-Based Safety Analysis (MBSA) at Thales Alenia Space. In the aim of evaluating the interest and added value of a MBSA approach, a benchmark, on the static aspects, of two commercially available MBSA tools, Cecilia Workshop (Satodev) and System Analyst (Thales), has been performed on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service), the European SBAS (Satellite-Based Augmentation Systems). This article briefly introduces the scope and objectives of the activities performed by Thales Alenia Space. Then, it focuses on the methodology used: the case study, the two MBSA tools, the subsystem modeling principles for both tools, and the evaluation strategy. Furthermore, it presents the results: (i) a comparison of Cecilia Workshop outputs versus System Analyst outputs (ii) tool evaluation matrix synthesis. Finally, we conclude with the next steps identified to ultimately implement a MBSA approach on SBAS-type projects.