Safety (Betriebssicherheit) und Security (Informationssicherheit) sind zwei wesentliche Aspekte von Softwaresystemen.

Informationssicherheit und Datenschutz spielen eine immer größere Rolle in unserem Leben, da eine stetig wachsende Zahl alltäglicher Geräte miteinander kommunizieren kann. Informationen, die bisher offline verarbeitet wurden, werden nun einer Vielzahl von Geräten und Webservices zugänglich gemacht, was eine viel größere Angriffsfläche und ein größeres Potenzial für Informationslecks bietet als in der Vergangenheit.

Eine aktuelle Entwicklung ist die Digitalisierung der Produktion, welche sich in Trends wie Industrie 4.0 und dem Industrial IoT äußert. Kern dieser Entwicklung ist die Verbindung klassicher Produktionsanlagen untereinander und mit dem Internet, um Fernüberwachung und die Automatisierung von Lieferketten zu ermöglichen. Allerdings führt die Vernetzung der Anlagen auch zu neuen Problemen, insbesondere sind ehemals abgeschottete Produktionsanlagen nun auch Bedrohungen aus dem Internet ausgesetzt. Im ISSE entwickeln wir Methoden und Werkzeuge, um sichere Systeme zu entwickeln und deren Sicherheitseigenschaften zu überprüfen, zu testen und zu verifizieren.

Betriebssicherheit zielt auf die Identifizierung und Vermeidung von Gefährdungen, die wirtschaftliche oder ökologische Schäden, Verletzungen oder sogar den Verlust von Menschenleben verursachen können. Um der steigenden Komplexität in der Entwicklung von (softwareintensiven) sicherheitskritischen Systemen gerecht zu werden, können formale Methoden des Software-Engineerings auf die Analyse sicherheitskritischer Systeme angewendet werden: Basierend auf formalen Systemmodellen sind solche Analysemethoden in der Lage, alle Kombinationen von Komponentenausfällen eines Systems zu identifizieren, die das Auftreten einer potenziell gefährlichen Situation verursachen können.