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.