Book chapter 472 views 21 downloads
A Tool-Chain for the Verification of Geographic Scheme Data
Madhusree Banerjee,
Victor Cai,
Sunitha Lakshmanappa,
Andrew Lawrence,
Markus Roggenbach 
,
Monika Seisenberger ,
Thomas Werner
,
Monika Seisenberger ,
Thomas Werner
Lecture Notes in Computer Science, Volume: 14198, Pages: 211 - 224
Swansea University Authors:
Markus Roggenbach , Monika Seisenberger
-
PDF | Accepted Manuscript
Download (626.62KB)
DOI (Published version): 10.1007/978-3-031-43366-5_13
Abstract
The Engineering Data Preparation System (E-DPS) is a tool-chain produced by Siemens Mobility Limited for digital railway scheme design. This paper is concerned with the creation of a tool able to formally verify that the scheme plans follow the design rules required for correct European Train Contro...
| Published in: | Lecture Notes in Computer Science |
|---|---|
| ISBN: | 9783031433658 9783031433665 |
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Cham
Springer Nature Switzerland
2023
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa63851 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract: |
The Engineering Data Preparation System (E-DPS) is a tool-chain produced by Siemens Mobility Limited for digital railway scheme design. This paper is concerned with the creation of a tool able to formally verify that the scheme plans follow the design rules required for correct European Train Control System (ETCS) operation. The E-DPS Checker encodes the scheme plan and signalling design rules as an attributed graph and logical constraints over that graph, respectively. Logical constraints are verified by the E-DPS Checker using the satisfiability modulo theories solver Z3. This approach verifies the configuration of ETCS for a particular scheme and reduces the amount of principles testing and manual checking required. The E-DPS Checker is currently being developed to EN50128 basic integrity and has been applied to verify the correctness of a number of real-world scheme plans as part of the development process. |
|---|---|
| Item Description: |
Conference series: RSSRail: International Conference on Reliability, Safety, and Security of Railway Systems. Lecture Notes in Computer Science (LNCS, volume 14198) |
| Keywords: |
Safety, reliability, security, railway systems, formal methods, computer systems organization, embedded and cyber-physical systems, real time systems, theory of security, architecture |
| College: |
Faculty of Science and Engineering |
| Start Page: |
211 |
| End Page: |
224 |