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.