Verlässliche Softwaresysteme erfordern eine gründliche Verifikation und Validierung. Bei sicherheitskritischen Systemen ist oft zusätzlich eine Zertifizierung nach einschlägigen Normen gefordert.

Um das Leistungsangebot unserer akkreditierten Prüfstelle ständig zu erweitern, forschen wir in jenen Gebieten, wo die zu erwartende Forderung nach Zertifizierung den Systemherstellern künftig erheblichen Mehraufwand abverlangen wird, nach kreativen Lösungen um den Aufwand zu minimieren:

• HIL/SIL/MIL auf begrenzten Embedded Plattformen
• Cross Testing
• Fault Injection
• Verifikation von generiertem Codes
• Modellbasierte Verifikation
• Inkrementelle Verifikation
• Real-Time Unit Test am Ressourcen-begrenzten Target mit gleichzeitiger Coverage-Analyse
• Komponentenbasierte Verifikation
• Komponentenbasierte RAMS-Analyse
• Compositional Safety Case
• Methodisches Requirements Engineering

Unsere Kooperationspartner kommen aus verschiedensten Anwendungsgebieten, von Industriesteuerungen über Einsenbahnsicherungstechnik, Automobilelektronik und Flugzeugindustrie bis hin zu Weltreumanwendungen. Gerade auch unsere Beteiligung am EU-Projekt DECOS macht diese Vielfalt deutlich.