Railground RSSRail models - iUML-B/Event-B
Railground RSSRail models - iUML-B/Event-B
This dataset is associated with the paper "Formal modelling techniques for efficient development of railway control products" published in RSSRail 2017 - International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, November 14-16, 2017, Pistoia, Italy
The Rodin platform archive *RailGround_RSSRail.zip* contains the development of the RailGround using Event-B and the iUML-B Plug-in. (The paper discusses the use of ERS diagrams but this is done by hand and the ERS plug-in is not needed to view the model). The configuration for the Rodin platform can be found in the README.md file.
iUML-B, Event-B, Rodin
University of Southampton
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Dghaym, Dana
f37068fe-d8f7-4925-a72f-70d91d750638
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Reichl, Klaus
51d614c8-72dc-4722-8c4a-bbcb26ce7897
Fischer, Tomas
2d38d5a2-37f5-444d-89ef-9e2ddce89e09
Tummeltshammer, Peter
cc3e1edb-28e7-4b15-824b-8c618d98460a
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Dghaym, Dana
f37068fe-d8f7-4925-a72f-70d91d750638
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Reichl, Klaus
51d614c8-72dc-4722-8c4a-bbcb26ce7897
Fischer, Tomas
2d38d5a2-37f5-444d-89ef-9e2ddce89e09
Tummeltshammer, Peter
cc3e1edb-28e7-4b15-824b-8c618d98460a
Snook, Colin, Dghaym, Dana, Hoang, Thai Son, Butler, Michael, Reichl, Klaus, Fischer, Tomas and Tummeltshammer, Peter
(2017)
Railground RSSRail models - iUML-B/Event-B.
University of Southampton
doi:10.5258/SOTON/D0184
[Dataset]
Abstract
This dataset is associated with the paper "Formal modelling techniques for efficient development of railway control products" published in RSSRail 2017 - International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, November 14-16, 2017, Pistoia, Italy
The Rodin platform archive *RailGround_RSSRail.zip* contains the development of the RailGround using Event-B and the iUML-B Plug-in. (The paper discusses the use of ERS diagrams but this is done by hand and the ERS plug-in is not needed to view the model). The configuration for the Rodin platform can be found in the README.md file.
Archive
Railground_RSSRail.zip
- Model
More information
Published date: 20 July 2017
Keywords:
iUML-B, Event-B, Rodin
Organisations:
Cyber Physical Systems, Electronics & Computer Science, Faculty of Physical Sciences and Engineering
Identifiers
Local EPrints ID: 412733
URI: http://eprints.soton.ac.uk/id/eprint/412733
PURE UUID: b01b1114-ed75-416c-9129-9e7c5620705d
Catalogue record
Date deposited: 27 Jul 2017 16:30
Last modified: 06 Jun 2024 01:54
Export record
Altmetrics
Contributors
Creator:
Colin Snook
Creator:
Dana Dghaym
Creator:
Thai Son Hoang
Creator:
Michael Butler
Creator:
Klaus Reichl
Creator:
Tomas Fischer
Creator:
Peter Tummeltshammer
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