Partners
Development Cooperations
- Cooperation with AIM GmbH, Freiburg: Development of measurement equipment and interfaces for test benches
- Cooperation with SET GmbH, Wangen: HW manufacture and wiring for test benches
- Cooperation with MBtech Group GmbH & Co. KGaA (AKKA Technologies Group):
- Test automation tools for the automotive domain
- Hardware-in-the-loop test equipment
- Verified’s model-based test generator RTT-MBT integrated in MBtech’s PROVEtech:TA test automation system
Rearch Cooperations
Cooperation with University of Bremen, Bremen Institute of Safe Systems: Research of verification and validation aspects of safety-relevant systems
- Test automation
- Formal analysis methods
- Static analysis
- Abstract interpretation
- Formal verification by model checking
- Formal verifcation by mathematical proof
- Hazard analysis methods
- Sponsor of graduate school GESy on verification, validation and test of embedded systems
- Research partnership with Airbus in LUFO, VICTORIA, E-CAB, SCARLETT
