Verified Systems International GmbH

RT-Tester TMS (Test Management Server) 2.5.3 now available (maintenance)

A maintenance release is now available for all supported platforms.

Minimum required RTT-Plugin release: 1.6.2
Minimum required RT-Tester release: 6.0-4.9.7

Bugfixes and Improvements

1. TMS server no longer crashes if used without encrypting the logging port.
2. Large replies from TMS server are no longer truncated when TMS connection is not encrypted.

Latest Releases

• RT-Tester 7.0.5 now available (maintenance)
• WARNING: Major bug in RT-Tester 7.0.4 may ignore error-timeout of cluster tests
• RT-Tester 7.0.4 now available (maintenance)
• RT-Tester 7.0.3 now available (maintenance)
• RTT-Plugin 1.6.10 now available (bugfix only)

Publications

• Presentation at Space Tech Expo Europe, Bremen
• EU Innovation Radar Prize - Runner-up Trophy for Verified Systems International!
• Nomination for EU Innovation Radar prize, 2015
• Testing on Target: Concepts and Experiences (IQNITE 2010)
• RT-Tester Bounded Model Checker Verifies Interlocking System Components