Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'
Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'
Aircraft ground servicing - Event-B Model
This dataset is supporting the journal article 'Analysing the safety implications of security risks in cyber-physical systems' in The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II https://link.springer.com/chapter/10.1007/978-3-031-66673-5_6
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 in the Readme file). The models in this dataset are developed as part of the VabMo2 (Validation by Modelling 2) project (2023-24), funded by Airbus, Germany.
The dataset is available under CC BY-NC-SA 4.0 (https://creativecommons.org/licenses/by-nc-sa/4.0/)
Event-B, Safety, Security, V&V, Formal Methods
University of Southampton
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Hoang, Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Kubisch, Martin
ad031a9f-4c11-4b66-9004-cde6209dbbfa
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Hoang, Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Kubisch, Martin
ad031a9f-4c11-4b66-9004-cde6209dbbfa
Salehi Fathabadi, Asieh and Kubisch, Martin
(2024)
Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'.
University of Southampton
doi:10.5258/SOTON/D3072
[Dataset]
Abstract
Aircraft ground servicing - Event-B Model
This dataset is supporting the journal article 'Analysing the safety implications of security risks in cyber-physical systems' in The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II https://link.springer.com/chapter/10.1007/978-3-031-66673-5_6
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 in the Readme file). The models in this dataset are developed as part of the VabMo2 (Validation by Modelling 2) project (2023-24), funded by Airbus, Germany.
The dataset is available under CC BY-NC-SA 4.0 (https://creativecommons.org/licenses/by-nc-sa/4.0/)
Text
D3072-README.txt
- Text
Archive
Servicing.zip
- Model
More information
Published date: 2024
Keywords:
Event-B, Safety, Security, V&V, Formal Methods
Identifiers
Local EPrints ID: 495142
URI: http://eprints.soton.ac.uk/id/eprint/495142
PURE UUID: e234b2d2-d90c-4233-b56b-ef70eef80359
Catalogue record
Date deposited: 30 Oct 2024 17:47
Last modified: 31 Oct 2024 02:47
Export record
Altmetrics
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics
