数据集概述
本数据集为IEEE TII收录论文《Unified Functional Safety Assessment of Industrial Automation Systems》的补充材料，包含复现论文结果所需的全部信息，包括技术报告、实验用例及分析结果，支持工业自动化系统功能安全评估研究的验证与扩展。
文件详解
- 文件名称：TII-Benchmarks.zip
- 文件格式：ZIP
- 字段映射介绍：压缩包内含三类核心内容，分别为：1. 技术报告（含功能块网络与PRISM模型的迹等价性证明）；2. 实验用例与基准数据集；3. 分析结果文件PRISMResults.xlsx（以电子表格形式呈现论文分析结果）；各子文件夹均配有README.md说明系统内容及结果复现步骤。
数据来源
IEEE TII收录论文《Unified Functional Safety Assessment of Industrial Automation Systems》
适用场景
- 工业自动化安全评估方法验证: 用于复现论文提出的统一功能安全评估方法，验证其科学性与有效性。
- 功能块网络与PRISM模型等价性研究: 基于技术报告内容，深入分析两类模型的迹等价性原理与应用场景。
- 安全评估工具性能测试: 利用实验用例与基准数据集，测试不同功能安全评估工具的准确性与效率。
- 学术研究成果扩展: 为工业自动化系统功能安全领域的后续研究提供数据基础与实验参考。
