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

This collection contains supplementary material for the paper titled Unified Functional Safety Assessment of Industrial Automation Systems accepted in IEEE TII. This archive provides all information needed to recreate the results presented in the paper including the following:

1. A technical report presenting proofs of trace equivalence between Function Block Networks and the generated PRISM Models.
2. A set of examples and benchmarks used for experimentation in the said research paper.
3. The results of the analysis presented in the paper are also contained here in the form of spreadsheets contained in file PRISMResults.xlsx.
4. Each of the included sub-folders contains a README.md file describing the system and provides instructions to recreate these results.