Key features of Verified's Test Systems

Scalable Performance

RT-Tester test bench solutions offer several possibilities for scaling performance: CPU power needed for simulations and - if desired - on-the-fly checking of the system under test can be added by (1) switching from 2CPU to 4CPU cluster nodes or by (2) adding cluster nodes to the test bench. (3) Bottle necks on interface busses are resolved by distributing interfaces on different cluster nodes. The re-location of software and interfaces to other cluster nodes is easy to configure and does not require software changes, since RT-Tester communication software offers transparent access to all state data and events, regardless where a program resides within the cluster. High-speed cluster communication ensures data distribution with very low latency.

Modular Architecture

Our modular test bench architecture can integrate off-the-shelf components - e.g. PCs, standard interface boards - with customized HW/SW solutions - e.g. fault insertion units, special-purpose VME interfaces - easily assembled according to our customers' needs.

Advanced Test Automation Techniques

Verified's RT-Tester facilitates parallel hard real-time execution of multiple simulators and checkers. It supports various test specification languages which can be selected and combined according to the users' preferences and skills.

Test Specification Tools Made-to-measure for Customers

RT-Tester offers domain-specific test language extensions - such as extensive AFDX simulation and evaluation libraries - and automatic test configuration support based on system under test configurations, as, for example, interface control document files. Graphical Test Management Interface for development, execution, evaluation, documentation of single test procedures as well as for complete test suites.