Published August 7, 2016 | Version v1
Dataset Restricted

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

Authors/Creators

  • 1. The University of Auckland
  • 2. Auckland University of Technology

Contributors

  • 1. The University of Auckland
  • 2. Auckland University of Technology

Description

This collection contains benchmarks used 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.

Files

Restricted

The record is publicly accessible, but files are restricted. Log in to check if you have access.