Modeling patterns for reliability assessment of safety instrumented systems

In this paper, we propose a versatile set of modeling patterns implemented in AltaRica 3.0 language. We apply them to assess the reliability of SIS described in ISO technical report ISO/TR 12489. Comparisons are performed between the results obtained from AltaRica models and those reported in ISO/TR 12489. We show that the set of proposed modeling patterns can serve as an effective tool to model SIS in a modular way.