Validierung und Verifikation

Validierungs- und Verifikationstätigkeiten können tatsächlich den größten Anteil des Aufwands bei der Entwicklung sicherheitskritischer Systeme ausmachen. In Branchen mit strengsten gesetzlichen Anforderungen können Tätigkeiten im Bereich V&V bis zu 70 % des gesamten Entwicklungsaufwands betragen.

Durch die Bereitstellung von Validierungs- und Verifikationsdienstleistungen für einige der weltweit führenden Institutionen in so anspruchsvollen Branchen wie Luft- und Raumfahrt, Verteidigung und Verkehr haben wir uns international einen ausgezeichneten Ruf erarbeitet. Aufgrund unseres umfangreichen Wissens zu eingebetteten Systemen und den weltweit wichtigsten Sicherheitsstandards sind wir in der Lage, Unternehmen über den gesamten Entwicklungslebenszyklus zur Seite zu stehen. Unsere Validierungs- und Verifikationsexperten können auf unsere eigenen vielseitigen Software-Validierungseinrichtungen zurückgreifen, die unseren Dienstleistungen durch die Unterstützung automatisierter Hardware, MIL- und SIL-Testumgebungen gemäß strengsten Industriestandards wie z. B. DO-178B/C Level A noch mehr Flexibilität verleihen. Dank unserer erstklassigen Einrichtungen können wir ganze Testphasen zu jedem beliebigen Zeitpunkt während einer Entwicklungsstufe erneut ausführen und somit sicherstellen, dass bei Änderungen am Prüfling diese Änderungen auch den gewünschten Effekt haben (‚Non-Regression Verification‘).

Die von uns unterstützten Sicherheitsstandards umfassen ARP-4754/4761, DO-178B/C, DO-254, EN 50126/8/9, IEC 61508, ISO 26262, IEC 62304, die ECSS-Serien und viele andere mehr.

Unsere Dienstleistungen decken den gesamten Bereich von eingebetteten Systemen, Software, FPGA/ASIC/CPLD und integrierten Anlagen ab:

• Planung von Validierungs- und Verifikationstätigkeiten zur Gewährleistung der Übereinstimmung mit Sicherheitsstandards und Zertifizierungsvorschriften
• Unabhängige Validierung und Verifikation von Systemanforderungen und -gestaltung
• Formale Überprüfung von Quellcode, Komponenten- und Integrationstests
• Validierung und Verifikation kundenspezifischer Logikdesigns (ASIC, FPGA und CPLD)
• Hardware- und Software-Integrationstests sowie Tests integrierter eingebetteter Systeme
• Protokollierung der Validierungs- und Verifikationsnachweise für die Zertifizierung
• Automatisierte Tests mit ‚Software-in-the-Loop‘ (SIL), ‚Model-in-the-Loop‘ (MIL) und ‚Hardware-in-the-Loop‘ (HIL)
• Entwicklung und Anpassung automatisierter Testeinrichtungen für eingebettete Software und Systeme
• Testeinrichtungen und -dienstleistungen zur Geräteabnahme und Typprüfung