You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Surrey » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Surrey

Return to search Previous output Next output

Output 0 of 0 in the submission

Output title

Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B

Type

E - Conference contribution

DOI

10.1007/978-3-642-39611-3_20

Name of conference/published proceedings

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Volume number

7857

Issue number

First page of article

193

ISSN of proceedings

1611-3349

Year of publication

2013

URL

Number of additional authors

Additional information

<11>This paper provides a new formal abstraction, applicable to general modelling of railway scheme plans, to improve the feasibility of model checking railway signalling interlocking systems that traditionally suffer from state space explosion. Invensys (now Siemens) considers it one of the most promising ways of analysing their interlocking systems. It is significant within the new UK Rail Technical Strategy, which has “ensuring safety and enhancing capacity” as a central theme, as control systems are being rearchitected over the next decade to fit with new European standards. Formal analysis techniques are now essential given the complexity of next generation control systems.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract