Sichere Software

Wenn Software versagt, ist der Betrieb auch lebenswichtiger Infrastrukturen gefährdet. Aber nicht nur in Kernkraftwerken und bei der Eisenbahn dient Software in der zentralen Steuerung. Auch Autos enthalten heute eine Vielzahl von elektronischen Komponenten, die korrekter Software bedürfen. Wer wollte schon verantworten, dass durch Softwarefehler sich der Airbag während der Fahrt öffnet, die Lenkung ausfällt oder die Bremsen versagen. In der Arbeitsgruppe Sichere Software wird das fachbereichsübergreifend vorhandene Know-How auf dem Gebiet der Erstellung und Anwendung sichererer Software gebündelt und Unternehmen zur Verfügung gestellt. So unterstützen wir Unternehmen beim Einsatz systematischer, insbesondere formaler Methoden zur Herstellung nachweisbar korrekter (verifizierter) und sicherer Software, der Spezifikation und Verifikation von Algorithmen und Datenstrukturen auch für spezielle Plattformen wie zum Beispiel Java Smartcards, eingebettete Systeme, Bus- und Echtzeitsysteme. Wir bieten Unterstützung bei der Integration und Überführung informeller Beschreibungen von Geschäftsprozessen, zum Beispiel von Pflichtenheften in mathematisch- formale Spezifikationen. Wir beraten bei Auswahl, Einsatz und Entwicklung von Security Patterns.

Testsystem I:Typo3