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

Name: Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'
Creator: University of Southampton
Published: 2024-10-31 12:15:06
License: 暂无描述

DataCite Commons2024-10-31 更新2025-04-17 收录

下载链接：

https://eprints.soton.ac.uk/495142/

下载链接

链接失效反馈

官方服务：

资源简介：

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/)

提供机构：

University of Southampton

创建时间：

2024-10-31