Supplementary material for paper: Unified Functional Safety Assessment of Industrial Automation Systems

<p>This collection contains supplementary material for the paper titled <strong>Unified Functional Safety Assessment of Industrial Automation Systems</strong> accepted in IEEE TII. This archive provides all information needed to recreate the results presented in the paper including the following:</p> <ol> <li>A technical report presenting proofs of trace equivalence between Function Block Networks and the generated PRISM Models.</li> <li>A set of examples and benchmarks used for experimentation in the said research paper.</li> <li>The results of the analysis presented in the paper are also contained here in the form of spreadsheets contained in file <em>PRISMResults.xlsx</em>.</li> <li>Each of the included sub-folders contains a README.md file describing the system and provides instructions to recreate these results.</li> </ol>