READ ME File For ‘Dataset for "An STPA-based formal composition framework for trustworthy autonomous maritime systems"’

Dataset DOI: 10.5258/SOTON/D1702

ReadMe Author: Thai Son Hoang, University of Southampton, ORCID: 0000-0001-6288-0400 

This dataset supports our paper:

AUTHORS: Dghaym, D., Hoang, T. S., Turnock, S., Butler, M., Downes, J., & Pritchard, B. 
TITLE: An STPA-based formal composition framework for trustworthy autonomous
maritime systems
JOURNAL: Safety Science
DOI:  

This dataset contains all the simulation code and data used to generate the figures included in the main text.

The data set contains the following material
- *imms_classdiagram.zip* and *imms_statemachine.zip*: System model using UML-B class diagrams and statemachine
- *MP2.zip*: Archive of the model for communication link MP2 in Event-B/Rodin

Rodin Installation
------------------

The developments can be imported into a Rodin platform.
Rodin 3.5.0 bundle can be downloaded from https://github.com/eventB-Soton/Rodin-Bundles/releases/latest

The following additional Rodin plug-ins are also required to read the models
- Atelier B Provers (Atelier-B Update Site)


LICENCE: CC-BY-SA


Date of data collection: 2019-2020
Location of data collection: University of Southampton, U.K.

Related projects: Integrated Mission Management 2019 (IMMS 2019) project between University of Southampton and Thales Research


Date that the file was created: January 2021