Verified Systems International GmbH is specialised in novel solutions for testing embedded systems, with particular focus on safety critical systems.
Since 1998 Verified's test benches and test automation software RT-Tester have been used for numerous control systems on the Airbus aircraft family and for various control systems of the railway, aerospace, and automotive domains. Verified's novel RT-Tester MBT supports model-based testing by automatically deriving test cases and procedures from state machine models. Additionally, Verified Systems offers test and validation services as well as certification support according to the standards DO-178B/C, ISO 26262 or CENELEC. Additionally, we perform seminars and consulting. Our research and development activities have been supported by several European and German research grants. We are certified according to DIN EN ISO 9001 and DIN EN 9100.
Facts and figures: