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 on the right hand side of this page. 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.