No Cover Image

Journal article 528 views

Railway modelling in CSP||B: the double junction case study / Faron, Moller

Electronic Communications of the European Association for the Study of Science and Technology, Volume: n/a

Swansea University Author: Faron, Moller

Abstract

This paper reports on recent work in verifying railway systems through CSP||B modelling and analysis. Our motivation is to develop a modelling and verification approach accessible to railway engineers: it is vital that they can validate the models and verification conditions, and - in the case of de...

Full description

Published in: Electronic Communications of the European Association for the Study of Science and Technology
Published: 2013
Online Access: http://www.cs.swan.ac.uk/~csfm/avocs12.pdf
URI: https://cronfa.swan.ac.uk/Record/cronfa13712
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: This paper reports on recent work in verifying railway systems through CSP||B modelling and analysis. Our motivation is to develop a modelling and verification approach accessible to railway engineers: it is vital that they can validate the models and verification conditions, and - in the case of design errors - obtain comprehendable feedback. In this paper we run through a full production cycle on a real double junction case study, supplied by our industrial partner, who contributed at every stage. As our formalization is, by design, near to their way of thinking, they are comfortable with it and trust it. Without putting much effort on optimization for verification, the scale of the models analyzed is comparable with the work of other groups.
Keywords: formal methods, model checking, railway verification
College: College of Science