原文传递
SafeCap Platform for Modelling Railway Safety and Capacity.
| 题名： | SafeCap Platform for Modelling Railway Safety and Capacity. |
| 作者： | Iliasov, A.; Lopatkin, I.; Romanovsky, A. |
| 关键词： | Computer Codes; Design; Eclipse Technology; Patterns; Project Management; Railway Industry; Safety; Signalling Schemas; Verification |
| 摘要： | This paper describes a tooling platform that supports reasoning about railway capacity while ensuring system safety. It uses a Domain Specific Language (DSL) that allows signalling engineers to design stations and junctions, to check their safety and to evaluate the potential improvements of capacity while applying various alteration patterns that change the railway schemas. The platform uses a combination of model checking and SMT solving to verify system safety in the most efficient and userfriendly way. It includes several plug-ins that evaluate various capacity parameters. The tool uses the Eclipse technology, including its EMF and GMF frameworks. It has been developed in close cooperation with the Invensys Rail engineers and applied in a variety of medium-scale projects, which has demonstrated its ability to help understand the effects that changes in the plans and schemas can potentially have on capacity. |
| 报告类型： | 科技报告 |
相关文献
- Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety.
- Computing Science: SAFECAP Domain Language for Reasoning About Safety and Capacity.
- Computing Science: Practical Formal Methods in Railways - The SafeCap Approach
- 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.
检索历史
应用推荐
