原文传递
Computing Science. Formal Modelling of Railway Safety and Capacity.
| 题名： | Computing Science. Formal Modelling of Railway Safety and Capacity. |
| 作者： | A., Iliasov; A., Romanovsky |
| 关键词： | Rail Safety; Railway Capacity; Railway Signalling; Safecap Toolset; Tools; Verification |
| 摘要： | Development of future railway systems requires a rigorous modelling of safety and capacity conducted in an integrated way. Supported by EPSRC and Rail Safety and Standards Board the SafeCap project laid the foundations for overcoming challenges to railway capacity without undermining rail network safety. The main outcome of the project is the SafeCap Toolset, which relies on a formal Domain Specific Language, safety verification and capacity simulation methodologies. The work was conducted in close cooperation with Siemens Rail Automation and evaluated using the layouts of a number of UK stations. The Toolset is being further actively developed and evaluated in a series of industrial and impact acceleration projects. |
| 报告类型： | 科技报告 |
相关文献
- Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety.
- Computing Science: SAFECAP Domain Language for Reasoning About Safety and Capacity.
- SafeCap Platform for Modelling Railway Safety and Capacity.
- Computing Science: Practical Formal Methods in Railways - The SafeCap Approach
- Computing Science: Practical Formal Methods in Railways - The SafeCap Approach.
检索历史
应用推荐
