The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

ERTMS Hybrid Level 3 - model using iUML-B/Event-B

ERTMS Hybrid Level 3 - model using iUML-B/Event-B
ERTMS Hybrid Level 3 - model using iUML-B/Event-B
iUML-B based model of the ERTMS Hybrid Level 3 specification. Developed to support ABZ2018 case study track paper: Diagram-led formal modelling using iUMLB for Hybrid ERTMS Level 3, Dana Dghaym, Michael Poppleton, Colin Snook
University of Southampton
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Poppleton, Michael
4c60e63f-188c-4636-98b9-de8a42789b1b
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Poppleton, Michael
4c60e63f-188c-4636-98b9-de8a42789b1b
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2

Dghaym, Dana, Poppleton, Michael and Snook, Colin (2018) ERTMS Hybrid Level 3 - model using iUML-B/Event-B. University of Southampton doi:10.5258/SOTON/D0403 [Dataset]

Record type: Dataset

Abstract

iUML-B based model of the ERTMS Hybrid Level 3 specification. Developed to support ABZ2018 case study track paper: Diagram-led formal modelling using iUMLB for Hybrid ERTMS Level 3, Dana Dghaym, Michael Poppleton, Colin Snook

Text
dataset_readme.txt - Text
Available under License Creative Commons Attribution.
Download (922B)
Archive
HL3.zip - Model
Available under License Creative Commons Attribution.
Download (396kB)
Archive
WhiteboardsNotesModels.zip - Collection
Available under License Creative Commons Attribution.
Download (17MB)
Archive
HL3_abz2018.zip - Dataset
Download (600kB)

More information

Published date: 5 February 2018
Organisations: Electronics & Computer Science, Cyber Physical Systems
Learn more about Electronics & Computer Science research Learn more about Cyber Physical Systems research

Identifiers

Local EPrints ID: 417598
URI: http://eprints.soton.ac.uk/id/eprint/417598
DOI: doi:10.5258/SOTON/D0403
PURE UUID: ff69bb2c-1f04-42ee-a989-849e7ec40085
ORCID for Dana Dghaym: ORCID iD orcid.org/0000-0002-2196-2749
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983

Catalogue record

Date deposited: 06 Feb 2018 17:31
Last modified: 07 Nov 2023 02:51

Export record

Altmetrics

Contributors

Creator: Dana Dghaym ORCID iD
Creator: Michael Poppleton
Creator: Colin Snook ORCID iD

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

Library staff additional information
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×