E-Thesis 66 views 37 downloads
Show Me How It's Wrong: Counterexample Visualisation in Static Railway Verification / Victor Cai
Swansea University Author: Victor Cai
Abstract
The introduction of modern signalling and control systems on the railway requires that theinfrastructure topology data be verified against a number of design constraints to ensuresafety and correctness. At [REDACTED], a software toolchain has been developed toautomate this verification process, base...
| Published: |
Swansea University, Wales, UK
2024
|
|---|---|
| Institution: | Swansea University |
| Degree level: | Master of Research |
| Degree name: | MSc by Research |
| Supervisor: | Roggenbach, M. and Seisenberger, M. |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa68765 |
| Abstract: |
The introduction of modern signalling and control systems on the railway requires that theinfrastructure topology data be verified against a number of design constraints to ensuresafety and correctness. At [REDACTED], a software toolchain has been developed toautomate this verification process, based on a formal proof tool and its language. In this thesis,we present an enhancement to this toolchain introducing the functionality to graphicallydisplay counterexamples. The requirements for this extension is established through userengagement in the form of a focus group study, and its implementation is carried out acrossseveral industrial-sized software projects. The work involves human-computer interactiondesign, formal methods, and the development of data formats as well as programming. |
|---|---|
| Item Description: |
A selection of content is redacted or is partially redacted from this thesis to protect sensitive and personal information |
| Keywords: |
Theoretical Computer Science, Formal Methods, Railway Verification, CounterexampleVisualisation, Domain-Specific Visualisation, Software Engineering, Railway Signalling,Railway Control Systems, European Train Control System (ETCS), European RailTraffic Management System (ERTMS), Human-Computer Interaction |
| College: |
Faculty of Science and Engineering |
| Funders: |
Siemens Mobility Limited |