Verified Home

Verified Systems International GmbH

Quality Assurance for Embedded Systems

Reference Projects

Application Experience and Reference Projects

Up to now, the main application areas of Verified Systems have been safety critical systems, especially in avionics and the railway domain. For reference projects see the item list below. Some of these projects handle thousands of interfaces to the system under test during real-time execution (and real-time evaluation) of hardware-in-the-loop tests.

Since the complexity of hardware-software systems increases not only in the safety-critical domains, we suggest, that our novel test methods and corresponding test equipment may as well be applied to an even wider range of problems.

Avionics

A380

Airbus Operations GmbH, Hamburg and Buxtehude

Rheinmetall Defence Electronics, Bremen

B/E Aerospace, Lübeck

EADS, Ulm

Aerospace

ISS

Astrium

OHB-System

(1997-1998)

Automotive

Daimler AG, Sindelfingen

Hella Fahrzeugkomponenten, Bremen

Railway

Shanghai Transrapid

Siemens Transportation Systems, Berlin, Braunschweig, Erlangen

ESW-Extel, Wedel

Transnet SA