Verified Systems International

What Verified Systems International does

Verified Systems International GmbH is a privately held German company, founded in 1998 as a spin-off from the University of Bremen, that develops proprietary tools and services for testing, verification, and validation of safety-critical embedded systems. Its portfolio centres on the RT-Tester Platform — a C/C++-based test automation system using the RTTL test language and an Eclipse-based IDE — supported by Code Coverage Branch Monitor (CCBM), Virtual Test Bench (VTB, a Kubernetes-based cloud execution layer), RT-Tester::Model-Based Testing (RTT-MBT) for UML/SysML-driven test generation, Graphical Signal Manipulation Interface (GSMI), and tailored real-time test engine clusters. The stack is qualified under DO-178C, CENELEC EN 50128/EN 50716/EN 50129, ECSS, and MIL-STD-498 standards, and the company holds ISO 9001:2015 and DIN EN 9100:2018 certifications.

The company monetises through two complementary streams: one-time software licensing of its toolchain (with maintenance and tool qualification packages) and high-margin professional services spanning requirements engineering (with DOORS and Polarion integration), testing, independent validation, software engineering, and code review. Go-to-market is exclusively direct enterprise field sales to avionics, railway, space, and defence manufacturers, with no self-serve or product-led channels. Named customers include Airbus (multiple aircraft programmes), Siemens Mobility (rail signalling), Vincorion, Philotech, DLR, and Bane NOR, and the firm maintains active participation in EU and German-funded research consortia (INTO-CPS, PROFORMA, HUBCAP, HiDyVe, PlaTFoRm). The company remains founder-owned under Managing Directors Dr. Jörg Brauer and Dr. Oliver Meyer, with no disclosed external funding and approximately 11–50 employees, of whom roughly half hold PhDs.

Name

Verified Systems International

Legal name

Verified Systems International GmbH

Website

https://verified.de

Company type

Private

Founded year

1998

Operating status

Operating

Headcount range

11–50 employees

Short description

Verified Systems International GmbH, founded 1998 in Bremen, develops proprietary testing and verification tools (RT-Tester, CCBM, VTB) and related services for safety-critical embedded systems in avionics, railway, space, and defence, serving Tier-1 OEMs such as Airbus and Siemens.

Ownership category

akta.pro rank

Product category

Safety-Critical Embedded Systems Verification Software

NAICS

Testing Laboratories and Services (541380), Custom Computer Programming Services (541511), Computer Systems Design and Related Services (54151)

SIC

Services-Testing Laboratories (8734), Services-Computer Programming Services (7371)

akta.pro primary industry

Quality Engineering & Test Automation (QE/QA) (BPAEAFAJ)

akta.pro secondary industries

Enterprise Application Testing & QA Services (BPAEAGAI), Third-Party Certification, Code Compliance & Regulatory Inspection (ASME/API/ISO) (EUAEAHAN)

Keywords

• Embedded systems testing
• Safety-critical verification
• DO-178C certification
• Railway signalling validation
• Model-based testing

Headquarters

HQ city

Bremen

HQ country

Germany

HQ region

Europe

Offices1 record

Markets served

GTM type

B2B

Offering type

Software

Cost components

Personnel, Technology or R&D, Operations, Marketing or Sales, Infrastructure

Revenue model

1. Software Product Licensing: Sale and licensing of proprietary software tools including RT-Tester, RT-Tester::MBT, CCBM, VTB, GSMI, and custom test engines. Tools are offered with versioned releases, maintenance updates, and tool qualification support packages for certification compliance.
2. Professional Testing Services: Comprehensive test campaign management and verification services for safety-critical systems across aerospace, railway, and defence sectors, including unit testing, software integration testing, and hardware/software integration testing using RT-Tester and customer toolchains.
3. Validation Services: Independent software and systems validation services for railway applications per CENELEC standards (EN 50128/EN 50716, EN 50129), covering SIL 0-4 applications for wayside and on-board units.
4. Requirements Engineering Services: Requirements elicitation, specification, modelling, traceability setup, and tool-chain integration services, including integration with IBM DOORS and Polarion platforms.
5. Software Engineering Services: Full-lifecycle safety-critical software development services including architectural design, embedded C/C++ development, and certification documentation per DO-178C and EN 50128/EN 50716.
6. Requirements & Code Review Services: Independent requirements and code reviews including testability analysis, static code analysis, coding standard compliance (MISRA, CERT), traceability audits, and review artifact generation for certification evidence.

Pricing tiers

Go-to-market motion1 record

Distribution channels1 record

Marketing channels6 records

Core offering

Verified Systems International GmbH develops and sells proprietary software tools (RT-Tester, VTB, CCBM, RTT-MBT, GSMI, Custom Test Engines, RTT-Plugin) for automated testing, verification, and validation of safety-critical embedded systems across all test levels (unit, integration, hardware-in-the-loop). The company also delivers professional testing, validation, requirements engineering, software engineering, and code review services aligned with DO-178C, CENELEC, ECSS, and MIL-STD certification standards.

Product overview

Verified Systems International offers a comprehensive portfolio of testing, verification, and validation tools and services for safety-critical systems. The core product line centers on RT-Tester Platform for automated test generation, execution, and real-time evaluation across all test levels. Supporting products include Virtual Test Bench (cloud-based scalable execution), Code Coverage Branch Monitor (branch coverage instrumentation and analysis), RT-Tester::Model-Based Testing (UML/SysML model-driven testing), Custom Test Engine (hardware-optimized cluster testing), and Graphical Signal Manipulation Interface (interactive signal analysis). RTT-Plugin provides Eclipse IDE integration. Services span testing, validation, requirements engineering, software engineering, and code review—all aligned with aviation (DO-178C), railway (CENELEC), space (ECSS), and defense (MIL-STD) certification standards. The company serves major industrial partners including Airbus and Siemens.

Differentiator

Problem solved

Functional benefit

Products and services

• RT-Tester Platform Automated test generation, execution, and real-time evaluation system supporting all testing levels from PC-based unit testing through hardware/software integration testing with real-time capabilities. Uses RTTL (C/C++-based test language), State-Transition Diagrams, Python, and UML 2.0 including statecharts and class diagrams, with distributed simulations and RTCA DO-178C tool qualification support. Targeted at safety-critical embedded systems developers in aerospace, railway, space, and defence.
• Virtual Test Bench (VTB) Fully virtualised, cloud-based test bench platform built on Kubernetes that enables scalable, parallel execution of RT-Tester test procedures with CI/CD integration, batch job processing, load balancing, persistent artifact storage, and a Python-based command-line interface for scripting and automation. Targeted at enterprise engineering teams needing elastic, certification-aligned test execution across safety-critical programmes.
• Code Coverage Branch Monitor (CCBM) Cross-platform C code coverage solution that instruments source code at branch level, tracks execution, visualises uncovered paths, merges coverage data across multiple test runs, and maps results back to the original source code for certification evidence. Supports DO-178C and CENELEC compliance workflows. Targeted at safety-critical software developers needing certifiable structural coverage.
• RT-Tester::Model-Based Testing (RTT-MBT) RT-Tester extension for model-driven test development that enables systematic test generation from UML and SysML models, including signal mapping, automated simulation, oracle generation, harness generation, and MC/DC coverage analysis for certification. Targeted at engineering teams adopting model-based design practices for safety-critical systems.
• Custom Test Engine Tailored test engine cluster hardware optimised for safety-critical testing using off-the-shelf components, hard real-time Linux kernels with microsecond-level scheduling, and InfiniBand/Multi-GBit-Ethernet communication supporting protocols such as AFDX, CAN, ARINC 429, RaSTA, and EULYNX. Targeted at customers needing hardware-in-the-loop execution of RT-Tester test suites with deterministic timing.
• Graphical Signal Manipulation Interface (GSMI) Interactive graphical signal analysis tool that visualises log-based signal data, enables real-time inspection and modification of signals, supports drag-and-drop workpages with customisable widgets, and integrates with the RT-Tester test environment for manual and hybrid-automated testing workflows. Targeted at engineers analysing signal traces from safety-critical test campaigns.
• RTT-Plugin Eclipse plugin providing VTB server management, panel editor for GSMI, RT-Tester version selection, test suite editing, and project management within the Eclipse IDE environment for engineers using Verified Systems' RT-Tester family of tools.
• Testing Services Comprehensive test campaign management for safety-critical systems including advanced unit testing, software integration testing, hardware/software integration testing (HiL), and certification-ready evidence generation per DO-178C, ECSS, CENELEC, and MIL-STD standards, using RT-Tester and customer toolchains. Targeted at industrial customers lacking internal verification capacity or seeking independent test execution.
• Validation Services Independent software and systems validation services for railway applications per CENELEC standards (EN 50128/EN 50716, EN 50129), covering SIL 0-4 applications for wayside infrastructure components and on-board units with objective technical assessments. Targeted at railway operators, infrastructure managers, and signalling manufacturers needing independent safety validation.
• Requirements Engineering Services Professional requirements engineering including stakeholder elicitation, conflict resolution, specification and modeling (including MBSE), traceability setup, requirements change management, and integration with IBM DOORS and Polarion platforms. Targeted at safety-critical programmes needing high-quality, traceable requirements foundations.
• Software Engineering Services Full-lifecycle safety-critical software development services including architectural design, embedded C/C++ development, and certification documentation per DO-178C and EN 50128/EN 50716 with MISRA-compliant coding. Targeted at industrial customers needing turnkey or augmented safety-critical software engineering capacity.
• Requirements & Code Review Services Independent requirements and code review services including testability analysis, static code analysis, MISRA and CERT coding standard compliance verification, traceability audits, and review artifact generation for certification evidence. Targeted at engineering organisations preparing for DO-178C, CENELEC, ECSS, or MIL-STD certification.

Quantifiable outcome

• 100% high-level requirements coverage and 100% branch code coverage for DO-178B DAL-B certified software (A350 Oxygen Supply Controller Module).
• +2 more outcomes

Named customers6 records

Segments4 records

Ideal customer profiles3 records

Technology focussed Yes

API detail

Has API

Yes

API docs

API detail

Core technology

AI maturity

App detail

Integration5 records

Feature7 records

Partnerships

Six partnerships are on record, tiered core.

• fortisscoreStrategic or Co-development Partner · 1 January 2025Verified Systems is a joint project partner with fortiss (Germany) in the PlaTFoRm project (2025-2027), investigating methods to find errors that compromise safety-critical system robustness (e.g., in safety mechanisms) cost-effectively and at early development stages per DO-178C and CENELEC requirements.
• D-Risq LtdcoreStrategic or Co-development Partner · 1 January 2025Verified Systems collaborates with D-Risq Ltd (UK) in the PlaTFoRm project (2025-2027) to develop automated processes for heuristic test case generation from system-level requirements for safety-critical systems.
• Newcastle UniversitycoreStrategic or Co-development Partner · 1 January 2025Verified Systems partners with Newcastle University (UK) in the PlaTFoRm project (2025-2027), contributing to the development of seamless automated processes from requirements through to heuristic test case generation.
• INTO-CPS AssociationcoreStrategic or Co-development Partner · 1 January 2015Verified Systems is a member of the INTO-CPS Association, which advocates the application of model-based design and development techniques (MBD) in industrial and academic settings. Previously participated in the INTO-CPS project (2015-2017) creating an integrated tool chain for comprehensive Model-Based Design of Cyber-Physical Systems.
• DLR (German Aerospace Center)coreStrategic or Co-development PartnerVerified Systems collaborates closely with DLR on pioneering spaceflight projects including ReFEx (Re-entry Flight Experiment) and CALLISTO, focusing on reusable launch vehicle technology. Contributions include comprehensive software and system verification for autonomous atmospheric return and vertical landing control software, ensuring compliance with the demanding requirements of space environments.
• PhilotechcoreImplementation/ SI/ Consulting PartnerPhilotech partnered with Verified Systems to perform low-level software verification for core parts of the A400M Mission Management System (M-MMS) for Airbus, including code verification, design verification, and low-level testing per DO-178C DAL-A requirements. Verified conducted all resulting verification steps and supported successful formal certification.

Scale indicators7 records

Recent moves7 records

Expansion highlights5 records

Direct peers

• QA Systems: German vendor of Cantata and AdaTEST toolchains for unit, integration and code-coverage testing of safety-critical C/C++/Ada. Directly competes with RT-Tester and CCBM in regulated embedded markets.
• Vector Informatik: Germany-based provider of embedded software tools and test/validation solutions (vTESTstudio, CANoe, vADASdeveloper) widely used in automotive and increasingly in aerospace and rail safety-critical programmes. Comparable to VSI as a European specialist in embedded testing and certification evidence generation.
• LDRA: UK/US vendor of TBvision, TBrun and other tools for DO-178C, IEC 61508, EN 50128 and ISO 26262 software verification, code coverage and traceability. Directly comparable to VSI on safety-critical qualification, code coverage analysis and certification evidence packs.
• dSPACE: German provider of hardware-in-the-loop simulation and automated test platforms for embedded control systems, with growing presence in safety-critical verification for automotive, aerospace and rail. Closely comparable to VSI's Custom Test Engine + RT-Tester stack for HiL and SIL testing.
• Razorcat: German TESSY unit and integration testing tool vendor targeting IEC 61508, ISO 26262, DO-178C and EN 50128. Closely comparable niche competitor in qualified C/C++ testing for safety-critical embedded.
• BTC Embedded Systems: German specialist in model-based development, code coverage and back-to-back testing for ISO 26262, DO-178C and EN 50128. Overlaps directly with VSI's RTT-MBT and CCBM offerings and shares a similar European mid-market positioning.
• AbsInt Angewandte Informatik: German developer of static analysis and worst-case execution time tools (Astrée, aiT, StackAnalyzer) for safety-critical embedded software. Comparable to VSI in certification-grade analysis of C/C++ code targeting avionics, rail and automotive standards.

Broad incumbents

• Synopsys: Large EDA and software integrity vendor with coverity static analysis, VCS simulation and requirements traceability. Relevant as a broad incumbent that competes at the upper tier of safety-critical verification suites where it overlaps with VSI's CCBM/GSMI offering.
• Parasoft: US-based provider of C/C++test, dotTEST and broader application quality tools used in DO-178C and IEC 62443 contexts. Comparable as a broad QA/QA-services incumbent, though less specialised in DO-178C DAL-A avionics than VSI.

Others

• IBM Engineering (DOORS / Rhapsody): Owner of DOORS Next and Rhapsody MBSE tooling, which VSI explicitly integrates with for requirements engineering and traceability. An adjacent enabler in the VSI ecosystem rather than a direct test-automation competitor.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat5 records

Key risks5 records

Key highlights6 records

Customer concentration

• LinkedInlinkedin.com/company/verified-systems-international-gmbh

Compliance3 records

Revenue estimate

Valuation estimate

Number of profiles

Profiles2 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Verified Systems International