READ ME File For 'ERTMS Hybrid Level 3 - model using iUML-B/Event-B'

Dataset DOI: 10.5258/SOTON/XXXXX

ReadMe Author: Dr Colin Snook, University of Southampton

This dataset supports the publication:

Diagram-led formal modelling using iUMLB for Hybrid ERTMS Level 3,
Dana Dghaym, Michael Poppleton, Colin Snook
ABZ 2018

Contents
+++++++++

Rodin iUML-B/Event-B formal model of ERTMS Hybrid Level 3 railway system with virtual sub section control.

Other materials resulting from development including photographs of whiteboards from discussion meetings, other experimental versions of the model, Word documents containing notes about system and proposed refinement strategy.

Geographic location of data collection: University of Southampton, U.K.

Related projects:
Enable-S3


Dataset available under a CC BY 4.0 licence


Publisher: University of Southampton, U.K.


Date: February 2018