The process of verification aims to ensure that the design documents and all stages of system implementation comply with functional and safety requirements as well as current regulations, ensuring the highest product quality standards.

Railway signalling rules, along with their associated interlocking logics, vary from country to country; our teams have gained significant experience on different projects in different countries around the world. We are therefore able to perform verifications on different types of logic and configuration, thus supporting the customer in the verification of interlockings and their components wherever they are located.

There are different verification methods and they cover various fields of application. Configuration verification teams analyse the correct behaviour of the system’s vital core and human-machine interface for railway traffic management intended for use by the Train Movement Directors (Dispatcher) and the Central Operations Manager.

Logic verification teams study the various functionalities on the basis of principles and/or requirements diagrams and, by adopting Use Case and Test Case methods, guarantee functional, non-regression analyses on the system and its completeness, in compliance with the customer’s requirements and the current operating regulations in each country.