MBSA approach
Satellite Constellation End-of-Life Dependability Assessment with AltaRica 3.0

The MBSA methodology aims to leverage the combined strengths of traditional safety analysis techniques such as Fault Tree Analysis, Event Tree Analysis, and Markov processes within a unified formal framework. It is grounded in a solid mathematical foundation: Guarded Transition Systems, initially introduced by Rauzy in 2008 . This formalism bridges the gap between combinatorial models (e.g., fault trees, reliability block diagrams) and state/event-based approaches, such as those used in Markov chains or Petri...