原文传递
Computing Science: SAFECAP Domain Language for Reasoning About Safety and Capacity.
| 题名： | Computing Science: SAFECAP Domain Language for Reasoning About Safety and Capacity. |
| 作者： | A. Iliasov; A. Romanovsky; |
| 关键词： | safety standards, capacity, formal methods, event-b, verification, railway topology |
| 摘要： | The on-going 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) that will allow engineers to improve the node and junction capacity while guaranteeing operational safety. The SAFECAP DSL is introduced to define railway topology, its logical structure and signalling rules. The formal semantics of this graphical DSL, defined as part of our work, allows us to reason about system safety. The tooling environment, the SAFECAP Platform, offers graphical editing of railway schemas and an interface to a range of verification for ensuring railway operational safety. The work on extending the environment and its deployment in the railway sector continues with our SAFECAP partners: Invensys Rail and Swansea University. |
| 总页数： | 13p |
| 报告类型： | 科技报告 |
相关文献
- Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety.
- SafeCap Platform for Modelling Railway 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.
检索历史
应用推荐
