Metrax GmbH
Software-Verifizierung der Steuereinheit der Defibrillator-Stromversorgung
Verifizierung, einschließlich automatisierter Testung, und Erstellung von Zertifizierungsdokumenten für das Defibrillationssystem.
Schlüsseltechnologien:
C, VectorCAST, Reverse engineering

Team und Dauerzeit:
3 Ingenieure, 4 Monate.

Erfolgsgeschichte:
Die Anforderungen wurden aus der allgemeinen Beschreibung und dem Code wiederhergestellt. Es wurden erfolgreich Datenüberprüfungen, spezielle Analysen von Softwareeigenschaften und Tests durchgeführt. Es wurden über 50 Problemfälle festgestellt, darunter mehrere kritische Fehler.
Das Advalange-Team bewies ausgezeichnete Kompetenz in der Software-Entwicklung und -Verifikation gemäß den Anforderungen der Norm IEC 62304.
Alexey Gusev, Head of R&D