数据集概述
本数据集包含基于通信顺序进程（CSP）构建的MASCOT v.6安全子系统模型，以及使用FDR API和Varanus工具链对压力测试、场景测试等多类轨迹进行验证的响应时间数据，涵盖离线和在线验证结果，用于分析模型验证效率与系统安全功能表现。
文件详解
- 压缩包文件：
- 文件名称：Varanus:Mascot-Model-and-Data.zip
- 文件格式：ZIP
- 内容结构：
- data目录：包含原始日志与结果表格，其中api-times为FDR API直接验证结果，offline-times为Varanus离线验证结果，online-time为单一场景的Varanus在线验证结果，varanus-data.ods为压力测试与场景测试结果汇总表
- model目录：包含安全子系统CSP模型文件，scenarios-stress-tests.csp为压力测试轨迹，scenarios.csp为场景测试轨迹
数据来源
Varanus工具链相关研究项目
适用场景
- 机器人安全系统模型验证：用于测试MASCOT安全子系统模型的有效性，验证安全功能逻辑
- 模型验证工具效率分析：对比FDR API与Varanus工具链在离线、在线验证场景下的响应时间差异
- 安全系统压力测试：通过压力测试轨迹分析系统在高负载下的安全性能表现
- 机器人安全场景模拟：基于预设场景测试数据，研究不同操作场景下安全系统的响应机制
