Verified Systems International GmbH develops solutions for testing, verification, and validating of safety-critical systems. Since 1998, our test benches and verification software solutions have been used to support the development and certification of aircraft applications, railway controllers, aerospace and automotive systems, covering unit, integration, and system-level tests, including hardware-in-the-loop setups with fault-injection capabilities. In addition, Verified Systems offers tailored test and validation services to industrial customers, including Airbus and Siemens and their suppliers, ensuring reliable, certifiable software for critical systems.

Industries

Avionics

Embedded safety-critical real-time systems verification and development using our tool chains (RT-Tester, VTB) and tailored test engines, supporting DO-178C certification requirements.

Read More

Railway

Railway software and signalling system testing and verification with test benches, simulation tools, and code coverage, supporting EN 50128 certification requirements.

Read More

Space

Space software and integrated system verification with virtual test benches, simulators, and code coverage, supporting ECSS-compliant certification for mission-critical platforms.

Read More

Defence

Defence software and integrated system testing and verification with virtual test benches, simulators, and code coverage, supporting MIL-STD compliant certification requirements.

Read More
Products

RT-Tester Platform

RT-Tester provides automated test generation, execution, and real-time evaluation across all test levels, supporting distributed simulations and RTCA DO-178C tool qualification.

Read More

Virtual Test Bench

Virtual Test Bench enables execution of RT-Tester test procedures in a cloud environment, providing scalable, parallel test execution, virtualized simulators, and certification support across industry standards.

Read More

Custom Test Engine

Scalable Test Engines provide hard real-time cluster execution, parallel simulation, automated fault insertion, and comprehensive support for RTCA DO-178C compliant test certification.

Read More

RT-Tester::Model-Based Testing

Automate model-based testing with RTT-MBT, generating test cases, procedures, and data from UML/SysML models, while ensuring requirements traceability and certification according to ISO 26262, DO-178C, and EN 50128.

Read More
News

RT-Tester 7.1.1 now available (maintenance)

Read More

CCBM 5.8.2 now available (maintenance)

Read More

RT-Tester 7.1.0 now available (new feature)

Read More

RT-Tester 7.0.6 now available (maintenance)

Read More