The SafeCap Platform for Modelling Railway Safety and Capacity [chapter]

Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky
2013 Lecture Notes in Computer Science  
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
more » ... iendly 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. Abstract 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 user-friendly 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. About the authors Alexei Iliasov is a Researcher Associate at the School of Computing Science of Newcastle University, Newcastleupon-Tyne,UK. He got his PhD in Computer Science in 2008 in the area of modelling artefacts reuse in formal developments. His research interests include agent systems, formal methods for software engineering and tools and environments supporting modelling and proof. Abstract. 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 user-friendly way. It includes several plugins 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.
doi:10.1007/978-3-642-40793-2_12 fatcat:gaybifnlcrgdplogcpicg5fbia