Robustness Assessment Through Iterative Statistical Fault Injection: Leon3 Processor As A Case Study
收藏资源简介：
<strong>Dataset exemplifies an approach of iterative statistical fault injection to assess the robustness of HDL models.</strong> Contents:<br> 1. Results of exhaustive fault injection experiments (bit-flip faults) into LEON3 processor model;<br> 2. Interactive querying interface, allowing to obtain custom samples from exhaustive results, and visualize them;<br> 3. Python scripts simulating 3 approaches to statistical fault injection: conservative, error-driven, time-driven. <strong>Installation guide:</strong> 1. Ensure to have python ver. 2.x installed. Type in terminal (cmd console in Windows): “python --version” – if the output looks like > Python 2.x.x – python is installed. <br> Otherwise download and install 2.x.x distribution: https://www.python.org/<br> Add python installation path to environment path variable. <br> 2. Ensure to have Web-Server installed (Apache preferable). For instance, XAMPP: https://www.apachefriends.org/index.html <br> 3. Ensure that Web-server is configured to execute CGI scripts, particularly python-scripts:<br> In the 'httpd.conf' file (XAMMP control panel – button config in front of apache module):<br> – search for line Options Indexes FollowSymLinks and add ExecCGI, so the resulting line looks like this: <br> Options Indexes FollowSymLinks ExecCGI<br> – search for #AddHandler cgi-script .cgi, uncomment (remove #), and append “.py” to this line, so the results looks like:<br> AddHandler cgi-script .cgi .pl .asp .py 4. Unpack the contents of *.zip package into the folder on the Web Server. <br> For instance into 'Web-server root folder'/Dataset.<br> The Web-Server root can be configured in the ‘httpd.conf’ file in the DocumentRoot section, for instance: <br> DocumentRoot "F:/HTWEB"<br> <Directory "F:/HTWEB"><br> ... 5. In the web-browser navigate to the root directory of extracted package:<br> http://localhost/Dataset/index.html
**本数据集展示了一种用于评估硬件描述语言（HDL，Hardware Description Language）模型鲁棒性的迭代统计故障注入方法。** 内容列表： 1. 针对LEON3处理器模型开展的全穷尽故障注入实验（含位翻转故障）结果； 2. 交互式查询界面，支持从全穷尽实验结果中获取自定义样本并进行可视化展示； 3. 用于模拟三类统计故障注入方法的Python脚本：保守型、错误驱动型与时序驱动型。 **安装指南：** 1. 确认已安装Python 2.x版本。在终端（Windows系统请使用命令提示符）中输入`python --version`，若输出结果为`Python 2.x.x`，则说明Python已正确安装。若未安装，请前往https://www.python.org/ 下载并安装2.x.x版本的发行包，并将Python安装路径添加至系统环境变量PATH中。 2. 确认已安装Web服务器（推荐使用Apache），例如可通过XAMPP获取：https://www.apachefriends.org/index.html 3. 配置Web服务器以支持CGI脚本运行，尤其需适配Python脚本： 在`httpd.conf`配置文件中（可通过XAMPP控制面板中Apache模块旁的“配置”按钮打开该文件）： - 搜索`Options Indexes FollowSymLinks`行，添加`ExecCGI`参数，修改后该行应为：`Options Indexes FollowSymLinks ExecCGI` - 搜索`#AddHandler cgi-script .cgi`行，移除行首的`#`注释符号，并在行尾追加`.py`，修改后该行应为：`AddHandler cgi-script .cgi .pl .asp .py` 4. 将`*.zip`压缩包内的内容解压至Web服务器的指定目录中，例如`Web服务器根目录/Dataset`。Web服务器根目录可在`httpd.conf`配置文件的`DocumentRoot`章节中进行配置，示例如下： DocumentRoot "F:/HTWEB" <Directory "F:/HTWEB"> ... 5. 在Web浏览器中访问解压后数据包的根目录：`http://localhost/Dataset/index.html`
