数据集概述
本数据集为铁路信号系统设计形式化方法工具的系统评价与可用性分析研究的技术附件，包含14种工具的评价模板、结果汇总表及可用性测试原始数据，支持相关研究的复现与扩展分析。
文件详解
- 01 - Tool Evaluation Template and Evaluation Sheets.pdf：PDF格式，含参考评价模板及14种工具（如CADP、FDR4等）的评价表
- 02 - Feature Evaluation Table.xlsx：Excel格式，汇总14种形式化工具的评价结果
- 03 - System Usability Test - SUS Results.xlsx：Excel格式，含多工作表，记录工具可用性测试（SUS）的原始结果
数据来源
CNR-ISTI（意大利国家研究委员会信息科学与技术研究所）
适用场景
- 形式化方法工具研究：分析不同工具在铁路系统设计中的功能特性与适用性
- 可用性工程研究：基于SUS数据评估专业工具的用户体验
- 铁路系统工程：为铁路信号系统设计工具的选型提供数据支持
- 软件工程方法论：探索形式化工具在复杂系统开发中的应用价值
