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

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