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.
Airbus Operations GmbH, Hamburg and Buxtehude
Test strategy design, test automation software and test bench for A380 IMA bare module/integrated module tests
Development of simulation software: Topline, Middleline, Electrical Window Shades
Rheinmetall Defence Electronics, Bremen
Verification and test of software components for A400M
Consulting and certification support DO178-B
B/E Aerospace, Lübeck
Test equipment and test services for AIRBUS A350 Oxygen system
Consultancy for certification aspects of avionic software
Verification and test of the DMS-R Fault-Tolerant Computers, developed for the International Space Station by Astrium, Space Infrastructure, Bremen (1997-1998). Since 2002 the DMS-R computers operate in space.
Consulting Quality Assurance (Metrication and Reuse)
Test of the power- and thermal controller of the ABRIXAS satellite, developed by OHB-System, Bremen
Daimler AG, Sindelfingen
Model-based testing: Development of automated test case / test data generator for hardware-in-the-loop test of automotive controllers
Hardware-Software integration testing for control units A-Klasse BR169 and E-Klasse BR211.
Hella Fahrzeugkomponenten, Bremen
Software integration tests (model-based) and unit tests for rain/light sensor, air quality management sensor, parking assistant.
HW/SW integration tests and performance tests on hardware-in-the-loop test benches designed and manufactured by Verified Systems