Verified Systems
  • Industries ▼
    • Avionics
    • Railway
    • Space
    • Defence
  • Products ▼
    • RT-Tester
    • RT-Tester::Model-Based Testing
    • Code Coverage Branch Monitor
    • Virtual Test Bench
    • Graphical Signal Manipulation Interface
    • Test Engines
  • Services ▼
    • Testing
    • Validation
    • Requirement & Code Review
    • Requirement Engineering
    • Software Engineering
  • Research
  • Company ▼
    • About us
    • Certificates
    • Quality Policy
    • Careers
  • Contact
Hero Image
Contact us

RT-Tester Platform

RT-Tester is a powerful test automation system supporting all testing levels, from PC-based module and software integration testing up to hardware/software and system integration testing with real-time capabilities. It enables flexible test specification using RTTL (based on C/C++), State-Transition Diagrams, Python, and UML 2.0, including statecharts, class diagrams, and methods for efficient and scalable test automation.

RTTL-Based Test Automation - From Unit Testing to Full Hardware-Software Integration with RT-Tester

RTTL-Based Test Automation - From Unit Testing to Full Hardware-Software Integration with RT-Tester

Full Integrated Development Environment

RT-Tester provides a unified framework covering all test integration levels in a single environment. It uses a C/C++-based test language with syntactic sugar to simplify test creation, is qualified for safety-critical software development, and offers an Eclipse-based IDE for efficient test development and management.

Full Integrated Development Environment

Comprehensive Test Management

Comprehensive Test Management

A comprehensive test management with full bidirectional traceability from requirements to test cases and back is available. It enables a holistic view of the entire testing process for improved control, transparency, and quality assurance.

Showcases
Avionics Application Projects

Avionics Application Projects

RT-Tester has been successfully deployed in multiple safety-critical avionics programs (at DO-178 criticality Levels ranging from A to D), providing certified-grade test execution for structural verification activities. It has been applied across major aircraft families, including Airbus A350XWB, A380, and A320/A340 family, as well as for IMA/CPIOM based component and operating system testing, supporting rigorous verification in industrial flight software systems.

Read More
Software Testing for Helicopter Rescue Hoist Systems

Software Testing for Helicopter Rescue Hoist Systems

We developed and implemented comprehensive unit, software integration, and hardware-software Integration Tests for a critical rescue hoist system developed by our partner Vincorion. Our test suites are fully executable in both host and target environments, ensuring 100% requirement coverage. This rigorous approach guarantees the highest functional reliability and safety for the mission-critical hoist operations.

Get in Touch

Get More Information

Take the next step toward efficient and certification-ready testing. Get in touch to learn more about RT-Tester, request a demo, or discuss how we can support your projects.

Announcements on new RT-Tester releases are available via RSS feed RSS Feed Logo. This feed is also used to inform about any serious problems with some released versions.

A complete list of all RT-Tester related announcements is available here.

Get More Information
Contact us
Verified Systems

Verified Systems International GmbH

Stay Informed LinkedIn

Industries

  • Avionics
  • Railway
  • Space
  • Defence

Products

  • RT-Tester
  • RTT-MBT
  • Test Engines

Legal

  • Contact
  • Career
  • Terms and Conditions
  • Datenschutzerklärung
  • Privacy Policy
  • Impressum

© 2026 Verified Systems International GmbH