Webinar: Signaling Design Automation, accelerated by AI

How infrastructure managers, suppliers and engineering consultants can use AI to speed up signaling engineering without lowering the assurance bar.

Signaling engineering is still largely manual. Engineers translate specifications into designs, configuration data and test cases by hand, project after project. Signaling Design Automation (SDA) changes that. Signaling principles and requirements become reusable models, from which applications are generated, simulated, and formally verified.

AI can make SDA faster and easier to use. It can help engineers understand a project, trace a design back to the requirements, propose changes, and turn specification documents into structured requirements. But in a safety-critical domain, AI output has to be verifiable, not just convincing. Our principle is simple: AI generates, Prover verifies, and engineers decide.

In this webinar, Fei Niu and Gunnar Smith show how this works in practice. You’ll see Prover Labs, where you can try AI applications on signaling requirements. You’ll also see Prover Blueprint for Requirement Engineering, which turns specification documents into source-linked requirements, an object model, formal interpretations and questions for review. And you’ll get a first look at a new AI-powered environment for SDA, launching in January 2027.