Motivation und Problemstellung
Es vergeht kaum ein Tag, an dem nicht über eine neu entdeckte Sicherheitslücke oder einen erfolgreichen Cyberangriff auf ein Softwaresystem berichtet wird. Dies beschränkt sich nicht länger auf IT-Systeme im Büro, Zuhause oder auf dem Smartphone, sondern betrifft zunehmend auch intelligente technische Systeme, wie z.B. moderne Automobile oder Steuerungen für Industrieanlagen. Innovative Funktionen dieser Systeme werden zunehmend durch Software und eine Vernetzung mit dem Internet realisiert. Durch die Öffnung der Systeme nach außen, werden diese verstärkt zum Ziel von Cyberattacken. Rund 90% der Angriffe erfolgen dabei durch die Ausnutzung von Software-Schwachstellen, die durch eine fehlerhafte Entwicklung entstehen. Das Aufdecken und Beheben dieser Sicherheitslücken erfolgt oft erst im Nachhinein und verursacht aufwendige manuelle Nacharbeiten.