Railground RSSRail models - iUML-B/Event-B
收藏DataCite Commons2020-09-18 更新2025-04-17 收录
下载链接：
https://eprints.soton.ac.uk/412733/
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
University of Southampton
创建时间：
2017-08-02
