Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis

The paper proposes a method to synthesize stochastic reward nets (SRN) models from System Modeling Language (SysML) diagrams to evaluate the impact caused by operations in an operation procedure on availability in a systematic way for the ordinary system designers. The proposed method is implemented on in-house model-based system evaluation framework of NEC, called CASSI, for performance and availability analysis.