READ ME File For 'Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'

Dataset DOI: 10.5258/SOTON/D3072

Date that the file was created: May, 2024

-------------------
GENERAL INFORMATION
-------------------
ReadMe Authors:
Colin Snook, University of Southampton [0000-0002-0210-0983]
Thai Son Hoang, University of Southampton [0000-0003-4095-0732]

Date of data collection: Jan 2023 - May 2024

Related projects:

The models in this dataset is developed as part of the VabMo2 (Validation by Modelling 2) project (2023-24), funded by Airbus, Germany.

--------------------------
SHARING/ACCESS INFORMATION
-------------------------- 

Licenses/restrictions placed on the data, or limitations of reuse:
CC BY-NC-SA 4.0 (https://creativecommons.org/licenses/by-nc-sa/4.0/)


Recommended citation for the data:
Snook et al. Aircraft Servicing model for safety and security V&V in Event-B, 2024. https://doi.org/10.5258/SOTON/D3072.


This dataset supports the publication:

AUTHORS: Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Michael Butler, Martin Kubisch

TITLE: Analysing the safety implications of security risks in cyber-physical systems

JOURNAL: The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II

--------------------
DATA & FILE OVERVIEW
--------------------

This dataset contains:
- `Servicing.zip`: Archive file containing two projects: Servicing_InitialDesign and Servicing_TimeBoundedReliability. The projects can be imported into the Rodin platform (instructions for installing below).

--------------------------
METHODOLOGICAL INFORMATION
--------------------------
Software- or Instrument-specific information needed to interpret the data, including software and hardware version numbers:
The projects requires a Rodin platform bundle that can be downloaded from
https://github.com/eventB-Soton/Rodin-Bundles/releases/tag/v3.7.0-2212
(please download `RL2212` bundle for the appropriate operating systems)
- Install AtelierB provers via update site. Information for installing AtelierB can be found here https://uml-b.org/Downloads.html
(note: the URL for AtelierB need to be updated to be `http://www.atelierb.eu/update_site/atelierb_provers`)
- Imports the models from the archive using `File/Import` menu, followed by `General/Existing Projects into Workspace`, then choose `Select archive file` and browse to the `Servicing.zip` file.

People involved with sample collection, processing, analysis and/or submission:
Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Michael Butler, Martin Kubisch