Analysis of a Software Verification about On-Board Train Signalling

The railway industry faces new challenges due to the increasing demand for train traffic and the need for greater system efficiency. Ensuring interoperability, particularly in communication between train control systems and signalling systems, is essential for seamless operations and compliance with the European Rail Traffic Management System (ERTMS) requirements. This thesis focuses on addressing interoperability challenges through the study of Software Verification Interoperability (SWVI) and aligning it with the UNISIG subset specifications. Firstly, the thesis involves an analysis of the current state architecture of the SWVI, identification and elicitation of additional requirements, and modification of the architecture to enhance compatibility with diverse systems and components. As a part of this research, both the System Requirement Specification (SRS) and the System Design Architecture (SDA) are carefully drafted. The SRS document, which defines the system requirements for the European Train Control System (ETCS) of ERTMS, provides a comprehensive and detailed outline of the requirements that the SWVI system must fulfil. By thoroughly documenting the SRS and addressing the identified interoperability challenges, this work establishes a solid foundation for the development and implementation of the SWVI. It ensures that the software meets the specified criteria and aligns with industry standards. On the other hand, the SDA document focuses on describing the software components and their interactions in greater detail. It illustrates how these components integrate within the overall system, highlighting their relationships and dependencies. By considering both the SRS and the SDA, developers gain a comprehensive understanding of the system's structure, facilitating informed decision-making during the implementation phase. Overall, this thesis highlights the importance of achieving interoperability in the railway industry and proposes an approach to enhance SWVI and align it with established standards. By emphasizing the significance of interoperability and simulation-based testing, this research aims to contribute to the efficiency, reliability, and compliance of railway signalling systems while reducing costs and enhancing safety. The findings and recommendations presented in this research provide valuable insights for stakeholders involved in the development and implementation of railway signalling systems. They offer guidance on effectively utilizing the SRS and SDA documents to ensure successful software development and improved interoperability within the railway industry.