No Cover Image

Conference Paper/Proceeding/Abstract 465 views

Safety and Line Capacity in Railways – An Approach in Timed CSP / Faron, Moller

Integrated Formal Methods, Volume: 7321, Pages: 54 - 68

Swansea University Author: Faron, Moller

Full text not available from this repository: check for access using links below.

Abstract

Railways need to be safe and, at the same time, should offer high capacity. While the notion of safety is well understood in the railway domain, the meaning of capacity is understood only on an intuitive and informal level. In this study, we show how to define and analyse capacity in a rigorous way....

Full description

Published in: Integrated Formal Methods
ISSN: 0302-9743 1611-3349
Published: Berlin Heidelberg Springer-Verlag 2012
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa13710
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: Railways need to be safe and, at the same time, should offer high capacity. While the notion of safety is well understood in the railway domain, the meaning of capacity is understood only on an intuitive and informal level. In this study, we show how to define and analyse capacity in a rigorous way. Our modelling approach builds on an established modelling technique in the process algebra CSP for safety alone, provides an integrated view on safety as well as capacity, and offers proof support in terms of (untimed) model checking.
Keywords: formal methods, model checking, railway vrification
College: College of Science
Start Page: 54
End Page: 68