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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Snook, Colin, Hoang, Son, Salehi Fathabadi, Asieh, Butler, Michael, Kubisch, Martin
Format: Dataset
Sprache:eng
Schlagworte:
Event-B, Safety, Security, V&V, Formal Methods
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Snook, Colin
Hoang, Son
Salehi Fathabadi, Asieh
Butler, Michael
Kubisch, Martin
description 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/)
doi_str_mv 10.5258/soton/d3072
format Dataset
fullrecord <record><control><sourceid>datacite_PQ8</sourceid><recordid>TN_cdi_datacite_primary_10_5258_soton_d3072</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_5258_soton_d3072</sourcerecordid><originalsourceid>FETCH-datacite_primary_10_5258_soton_d30723</originalsourceid><addsrcrecordid>eNqVjjkOwjAQRd1QIKDiAu5SICCAImgRizgAvTWYCYxwbOMZCt-eJOICVF_6m55S01W5qNbVbslBgl_eN-V2PVTvIwgwiiav-RNjSKJDreWJGpKQdaiLvQeXmfyjtxlqlKypiY4sCAXP3YLRfhK1QSJ-cXdn8w3TPD7bqQWnObNgw8VYDWpwjJOfjtTsfLoeLvN7S2JJ0MREDaRsVqXpgE0PbHrgzX_tL1i4Ub8</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>dataset</recordtype></control><display><type>dataset</type><title>Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'</title><source>DataCite</source><creator>Snook, Colin ; Hoang, Son ; Salehi Fathabadi, Asieh ; Butler, Michael ; Kubisch, Martin</creator><creatorcontrib>Snook, Colin ; Hoang, Son ; Salehi Fathabadi, Asieh ; Butler, Michael ; Kubisch, Martin</creatorcontrib><description>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/)</description><identifier>DOI: 10.5258/soton/d3072</identifier><language>eng</language><publisher>University of Southampton</publisher><subject>Event-B, Safety, Security, V&amp;V, Formal Methods</subject><creationdate>2024</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><orcidid>0000-0002-0210-0983 ; 0000-0002-0508-3066 ; 0000-0003-4095-0732 ; 0000-0003-4642-5373</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>780,1894</link.rule.ids><linktorsrc>$$Uhttps://commons.datacite.org/doi.org/10.5258/soton/d3072$$EView_record_in_DataCite.org$$FView_record_in_$$GDataCite.org$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Snook, Colin</creatorcontrib><creatorcontrib>Hoang, Son</creatorcontrib><creatorcontrib>Salehi Fathabadi, Asieh</creatorcontrib><creatorcontrib>Butler, Michael</creatorcontrib><creatorcontrib>Kubisch, Martin</creatorcontrib><title>Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'</title><description>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/)</description><subject>Event-B, Safety, Security, V&amp;V, Formal Methods</subject><fulltext>true</fulltext><rsrctype>dataset</rsrctype><creationdate>2024</creationdate><recordtype>dataset</recordtype><sourceid>PQ8</sourceid><recordid>eNqVjjkOwjAQRd1QIKDiAu5SICCAImgRizgAvTWYCYxwbOMZCt-eJOICVF_6m55S01W5qNbVbslBgl_eN-V2PVTvIwgwiiav-RNjSKJDreWJGpKQdaiLvQeXmfyjtxlqlKypiY4sCAXP3YLRfhK1QSJ-cXdn8w3TPD7bqQWnObNgw8VYDWpwjJOfjtTsfLoeLvN7S2JJ0MREDaRsVqXpgE0PbHrgzX_tL1i4Ub8</recordid><startdate>2024</startdate><enddate>2024</enddate><creator>Snook, Colin</creator><creator>Hoang, Son</creator><creator>Salehi Fathabadi, Asieh</creator><creator>Butler, Michael</creator><creator>Kubisch, Martin</creator><general>University of Southampton</general><scope>DYCCY</scope><scope>PQ8</scope><orcidid>https://orcid.org/0000-0002-0210-0983</orcidid><orcidid>https://orcid.org/0000-0002-0508-3066</orcidid><orcidid>https://orcid.org/0000-0003-4095-0732</orcidid><orcidid>https://orcid.org/0000-0003-4642-5373</orcidid></search><sort><creationdate>2024</creationdate><title>Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'</title><author>Snook, Colin ; Hoang, Son ; Salehi Fathabadi, Asieh ; Butler, Michael ; Kubisch, Martin</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-datacite_primary_10_5258_soton_d30723</frbrgroupid><rsrctype>datasets</rsrctype><prefilter>datasets</prefilter><language>eng</language><creationdate>2024</creationdate><topic>Event-B, Safety, Security, V&amp;V, Formal Methods</topic><toplevel>online_resources</toplevel><creatorcontrib>Snook, Colin</creatorcontrib><creatorcontrib>Hoang, Son</creatorcontrib><creatorcontrib>Salehi Fathabadi, Asieh</creatorcontrib><creatorcontrib>Butler, Michael</creatorcontrib><creatorcontrib>Kubisch, Martin</creatorcontrib><collection>DataCite (Open Access)</collection><collection>DataCite</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Snook, Colin</au><au>Hoang, Son</au><au>Salehi Fathabadi, Asieh</au><au>Butler, Michael</au><au>Kubisch, Martin</au><format>book</format><genre>unknown</genre><ristype>DATA</ristype><title>Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'</title><date>2024</date><risdate>2024</risdate><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/)</abstract><pub>University of Southampton</pub><doi>10.5258/soton/d3072</doi><orcidid>https://orcid.org/0000-0002-0210-0983</orcidid><orcidid>https://orcid.org/0000-0002-0508-3066</orcidid><orcidid>https://orcid.org/0000-0003-4095-0732</orcidid><orcidid>https://orcid.org/0000-0003-4642-5373</orcidid><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier DOI: 10.5258/soton/d3072
ispartof
issn
language eng
recordid cdi_datacite_primary_10_5258_soton_d3072
source DataCite
subjects Event-B, Safety, Security, V&V, Formal Methods
title Dataset in support of the article 'Analysing the safety implications of security risks in cyber-physical systems'
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T07%3A26%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-datacite_PQ8&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=unknown&rft.au=Snook,%20Colin&rft.date=2024&rft_id=info:doi/10.5258/soton/d3072&rft_dat=%3Cdatacite_PQ8%3E10_5258_soton_d3072%3C/datacite_PQ8%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true