Hoang, Thai Son and Dghaym, Dana (2021) Dataset for "An STPA-based formal composition framework for trustworthy autonomous maritime systems". University of Southampton doi:10.5258/SOTON/D1702 [Dataset]
Record type:
Dataset
Abstract
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
Text
ReadMe_D1702.txt
- Dataset
Available under License Creative Commons Attribution Share Alike.
Download (1kB)
Archive
imms_classdiagram.zip
- Model
Available under License Creative Commons Attribution Share Alike.
Download (163kB)
Archive
MP2.zip
- Model
Available under License Creative Commons Attribution Share Alike.
Download (85kB)
Archive
imms_statemachine.zip
- Model
Available under License Creative Commons Attribution Share Alike.
Download (201kB)
More information
Published date: 11 January 2021
Keywords:
Event-B, Formal Methods, UML-B, Autonomous Systems
Identifiers
Local EPrints ID: 445848
URI: http://eprints.soton.ac.uk/id/eprint/445848
PURE UUID: 7394f757-bc4b-4966-a70b-32c7d5cad362
Catalogue record
Date deposited: 11 Jan 2021 17:31
Last modified: 06 May 2023 01:54
Export record
Altmetrics
Contributors
Creator:
Thai Son Hoang
Creator:
Dana Dghaym
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.