Example results for use-cases of DAVOS toolkit (dependability assessment, verification, optimisation and selection of hardware models)

<p>This dataset exemplifies the results that can be obtained&nbsp;for several basic experimentation scenarios by means of DAVOS toolkit, available under MIT licence at https://github.com/IlyaTuzov/DAVOS</p> <p>Particular experimentation scenarios are:</p> <p>- Dependability assessment (LEON3 processor core)<br> - Dependability benchmarking of implementation alternatives (MC8051 processor core)<br> - Dependability-aware design space exploration (when implementing PIC core by Xilinx ISE toolkit)</p> <p><br> <strong>Installation steps.</strong></p> <p>1. Ensure to have python ver. 2.x installed. Type in terminal (cmd console in Windows): &ldquo;python --version&rdquo; &ndash; if the output looks like &gt; Python 2.x.x &ndash; python is installed.&nbsp;<br> Otherwise download and install 2.x.x distribution: https://www.python.org/<br> Add python installation path to environment path variable.</p> <p><br> 2. Ensure to have Web-Server installed (Apache preferable). For instance, XAMPP: https://www.apachefriends.org/index.html</p> <p>&nbsp;&nbsp;<br> 3. Ensure that Web-server is configured to execute CGI scripts, particularly python-scripts:<br> In the &#39;httpd.conf&#39; file (XAMMP control panel &ndash; button config in front of apache module):<br> &nbsp;</p> <p>&ndash; search for line Options Indexes FollowSymLinks and add ExecCGI, so the resulting line looks like this:&nbsp;<br> Options Indexes FollowSymLinks ExecCGI<br> &ndash; search for #AddHandler cgi-script .cgi, uncomment (remove #), and append &ldquo;.py&rdquo; to this line, so the results looks like:<br> AddHandler cgi-script .cgi .pl .asp .py&nbsp;</p> <p>4. Unpack the contents of *.zip package into the folder on the Web Server.&nbsp;<br> For instance into &#39;Web-server root folder&#39;/Dataset.<br> The Web-Server root can be configured in the &lsquo;httpd.conf&rsquo; file in the DocumentRoot section, for instance:&nbsp;<br> DocumentRoot &quot;F:/HTWEB&quot;<br> &lt;Directory &quot;F:/HTWEB&quot;&gt;<br> ...</p> <p>5. In the web-browser navigate to the root directory of extracted package:<br> http://localhost/Dataset/index.html<br> &nbsp;</p>