We are happy to announce that CASCO Signal Ltd. (CASCO) and Prover have entered into a long-term agreement for the supply of Prover’s Signal Design Automation product suite Prover Trident. The initial focus is to further strengthen CASCO’s position as a leading supplier of signaling systems for China’s railway segment, by the use of state-of-the-art formal verification technologies. This will help increasing delivery capacity by removing bottlenecks in the V&V process, reduce time to market and meet Infrastructure Manager expectations on formally verified systems.
Formal Verification is growing globally
The demand for Formal Verification within the railway signalling domain is growing globally. Formal Verification is often required by end-customers and is highly recommended or mandated by development standards. The main driver behind this is the growing system complexity, making traditional safety verification techniques insufficient and too costly. Formal Verification can be highly automated and is the most efficient way to provide safety evidence complying with the most rigorous safety standards. This imposes strict requirements on the formal verification tools. In the Prover Trident solution these requirements are met by the independent sign-off verification tool Prover Certifier, the only verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using formal verification.
Prover has established a support team in Shanghai that will work closely together with the engineering team of CASCO to ensure a smooth integration of the Formal Verification tools in CASCO’s development process, ensuring that business values are maximized. This support team consists of senior engineers with extensive experience of formal methods, software development and railway signalling. It is our strong belief that Signal Design Automation with Formal Verification is the only way to supply signaling systems to the fast-growing railway network in China, and our team is dedicated to make it happen.