Formal Fragmentation of RAMSAS for Modular and Distributed Reliability Analysis via Simulation

This paper introduces a formal fragmentation of the RAMSAS methodology aimed at supporting modular, scalable, and automated reliability analysis of complex systems through simulation. The proposed approach contributes in three main di-rections: (i) a formal specification of RAMSAS method fragments within the Method Engineering paradigm, (ii) the definition of a dedicated algebra to govern their composition, and (iii) the development of automated fault analysis mechanisms driven by simulation results. By enabling systematic decomposition and controlled recomposition, the framework extends RAMSAS with enhanced composability, support for distributed execution of simulations, and automatic generation of Fault Trees (FT). A dedicated metamodel together with algebraic operators provides a foundation for formal reasoning on method fragments and their seamless integration into model-based simulation workflows. The approach has been specified and is currently being evaluated within the 'Space It Up' project, funded by the Italian Space Agency (ASI) and the Italian Ministry of University and Research (MUR).