基于DSVerifier_v2_0的数字系统脆弱性验证数据集

数据集概述

本数据集记录了使用DSVerifier v2.0工具验证含不确定性数字系统脆弱性的实验过程与结果，包含实验硬件配置、两类基准测试系统（IEEE Transactions on Computers及HSCC会议基准）的模型说明，以及实验结果数据，为数字系统稳定性分析提供支持。

文件详解

• 文件名称：dsverifier2.0.zip
• 文件格式：ZIP压缩包
• 内容说明：包含基于DSVerifier v2.0开展数字系统脆弱性验证实验的相关数据，具体内容需解压后查看，无公开预览信息

适用场景

• 数字控制系统稳定性研究：分析含不确定性数字系统的脆弱性特征
• 形式化验证工具评估：验证DSVerifier v2.0在不同基准系统中的性能表现
• 基准测试集应用：基于IEEE Transactions on Computers及HSCC会议基准开展对比实验
• 实验方法复现：参考实验硬件配置与测试流程复现数字系统脆弱性验证实验