Journal article 1284 views
Railway modelling in CSP||B: the double junction case study
Faron Moller 
,
Hoang Nga Nguyen,
Markus Roggenbach,
Steve Schneider,
Helen Treharne
,
Hoang Nga Nguyen,
Markus Roggenbach,
Steve Schneider,
Helen Treharne
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...
| 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: |
Faculty of Science and Engineering |