原文传递
Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety.
| 题名： | Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety. |
| 作者： | A. Iliasov; A. Romanovsky; |
| 关键词： | capacity, design, domain specific language, formal modelling, infrastructure, signalling safety, verification |
| 摘要： | The on-going RSSB/EPSRC UK SafeCap project develops modelling techniques and tools for improving railway capacity while ensuring that safety standards are maintained. This paper reports recent SafeCap results on designing a Domain Specific Language (DSL), a verification infrastructure and the approaches to estimating and improving capacity. |
| 总页数： | 9p |
| 报告类型： | 科技报告 |
相关文献
- Computing Science: SAFECAP Domain Language for Reasoning About Safety and Capacity.
- Computing Science. Formal Modelling of Railway Safety and Capacity.
- Computing Science. Formal Modelling of Railway Safety and Capacity.
- Computing Science: Practical Formal Methods in Railways - The SafeCap Approach
- Computing Science: Practical Formal Methods in Railways - The SafeCap Approach.
- SafeCap Platform for Modelling Railway Safety and Capacity.
检索历史
应用推荐
