Reliable software systems require thorough verification and validation. With safety-critical systems additional certification is often a compulsory requirement by the relevant standards. In order to constantly extend the range of services of our accredited test laboratory, we conduct research in those areas where the demand for certification is expected to create substantial additional expenditure for system manufacturers, and by offering creative solutions to minimise such expenditure:

• HIL/SIL/MIL on limited embedded platforms
• Cross-testing
• Fault injection
• Verification of generated code
• Model-based verification
• Incremental verification
• Real time unit test on resource limited targets with simultaneous coverage analysis.
• Component-based verification
• Component-based RAMS analysis
• Compositional safety case
• Methodical requirements engineering

Our cooperation partners come from the most diverse areas of application, including industrial controls to railway safety engineering, automotive electronics and the aerospace industry, right up to space-based applications. Our participation in the European Union project DECOS makes this diversity clear.