Image of multiple railway tracks, overhead power lines, and a fast passenger train moving through a bright rail yard at sunrise.

Railway Software Verification Evidence for EN 50716

Testing, coverage, and traceability evidence for signaling, control, and rolling stock software.

EN 50716 recommends specific verification techniques for railway software at each integrity level, from Basic Integrity to SIL 4. This white paper shows how VectorCAST provides the testing, coverage, and traceability evidence for those techniques.

VectorCAST supports every stage of your railway software assessment

One tool for SIL 3 and SIL 4

At SIL 3 and SIL 4, EN 50716 requires dynamic analysis and testing, traceability, code coverage, and functional and black-box testing. VectorCAST covers all four without a second verification tool.

Coverage for every SIL

Statement, branch, and MC/DC coverage from every test you run, pooled across unit, integration, and system testing, with MC/DC truth tables generated automatically.

Every requirement traced

The Requirements Gateway links each requirement to its test cases and returns pass/fail status to your requirements tool.

Evidence that stays current

EN 50716 requires impact analysis and re-verification whenever railway software changes. VectorCAST reruns only the affected tests first, then the full regression suite unattended.

VectorCAST Test Harness Setup with Testing Drivers and Stubs

From Source Code to Target Results

VectorCAST takes you from source code to test results on your target hardware without writing test harness code by hand. The same test cases carry forward from component testing through integration, validation, and maintenance.

Generate the harness

Point VectorCAST at your source code and include paths. It builds the test driver and stubs, enabling you to test components before the rest of the software is available.