ABSTRACT
Verified Systems International GmbH was established in 1998 as a spin-off company of the University of Bremen, Germany. The company specializes in the verification and validation of safety-critical or business-critical embedded systems and cyber-physical systems. Verified Systems main customers come from the avionics, railways, and automotive domains. In this chapter, one of the Verified Systems main products—the RT-Tester test automation and analysis tool box—is applied to the Insurance Premium and Garage Door Controller case studies. The RT-Tester test automation and analysis tool box comprises several tool components for testing and analyzing software and integrated hardware–software systems. The RT-Tester core system RTT-CORE supports test procedure development using the RT-Tester Real-time Test Language (RTTL). The RT-Tester Test Management System RTT-TMS is used for managing multiuser testing processes, which can involve thousands of test cases that are implemented by large teams of test engineers. RTT-MBT automatically analyzes the reference model for the expected system under test (SUT) behavior.
