Dass fehlerhafte und unsichere IT-Systeme in Europa jährlich einen wirtschaftlichen Schaden in Milliardenhöhe verursachen ist mittlerweile ebenso bekannt wie die Tatsache, dass ein verifizierbar sicheres System zu einem deutlichen Wettbewerbsvorteil werden kann. Und dennoch verwenden Software-Hersteller heute immer noch bis zu 80 Prozent auf das Finden und Beseitigen von Fehlern und Sicherheitslücken.

Diesem Misstand tritt künftig das Qualitätssiegel "Verified in Germany" entgegen, das von Partnern aus Wirtschaft, IT-Security und Forschung gemeinsam entwickelt und vom Bundesministerium für Bildung und Forschung gefördert wird. Ziel dieses langfristig angelegten Forschungsprojekts ist die Schaffung und Bereitstellung von Werkzeugen und Methoden, die einen überprüfbaren Beweis für ein sicheres, fehlerfreies IT-System erbringen können. Denn erst dann können Software und IT-Systeme auch bedenkenlos in (sicherheits-)kritischen Bereichen wie in der Medizintechnik, in der Automobilelektronik oder bei mobilen Anwendungen eingesetzt werden.

Die Beweise werden dabei computergestützt geführt, um menschliches Versagen der beteiligten Wissenschaftler nach Möglichkeit auszuschließen. Die gewonnenen Erkenntnisse und erzielten Fortschritte sollen dabei helfen, deutschen Unternehmen aus diesen Sparten dauerhafte internationale Wettbewerbsvorteile zu schaffen.

Die Sirrix AG ist am Teilprojekt Avionics maßgeblich mit der Implementierung ihres High-Assurance Sicherheitskerns Turaya beteiligt.

.. zur Verisoft Projektseite