Title: Supplementary material for paper: Unified Functional Safety Assessment of Industrial Automation Systems
Type Dataset Bhatti, Zeeshan Ejaz, Roop, Parthasarathi, Sinha, Roopak (2016): Supplementary material for paper: Unified Functional Safety Assessment of Industrial Automation Systems. Zenodo. Dataset. https://zenodo.org/record/153948
Links
- Item record in Zenodo
- Digital object URL
Summary
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:
A technical report presenting proofs of trace equivalence between Function Block Networks and the generated PRISM Models. A set of examples and benchmarks used for experimentation in the said research paper. The results of the analysis presented in the paper are also contained here in the form of spreadsheets contained in file PRISMResults.xlsx. Each of the included sub-folders contains a README.md file describing the system and provides instructions to recreate these results.More information
- DOI: 10.5281/zenodo.153948
Subjects
- PRISM, Function Blocks, IEC 61499, IEC 61508, Synchronous Execution, Safety Analysis, Functional Safety, Quantitative Analysis, Qualitative Analysis
Dates
- Publication date: 2016
- Issued: September 13, 2016
Rights
- https://creativecommons.org/licenses/by-sa/4.0/legalcode Creative Commons Attribution Share Alike 4.0 International
- info:eu-repo/semantics/openAccess Open Access
Format
electronic resource
Relateditems
| Description | Item type | Relationship | Uri |
|---|---|---|---|
| IsPartOf | https://zenodo.org/communities/zenodo |