Formale Methoden, Techniken und Werkzeuge für die Entwicklung sicherer Systeme

Neben den funtionalen Anforderungen msssen beder Entwicklung sicherheitskritischer it - system (sicherheitsspekte (Vertraulichkeit)), Integrität and verf<s:1> barkeit beachtetewerden。Bisher werden solche Aspekte allerdings noch晚上ausreichend während der Systementwicklung bercksichtigt， worin iner der Hauptursachen fgr die Vielzahl和Sicherheitsproblemen liight， die beutigen IT-Systemen auftreten。我是一名工程师，我是一名工程师，我是工程师，我是工程师，我是工程师，我是工程师，我是工程师，我是工程师。根据Verwendung的形式，Methoden soline Basis geschaffen werden f<s:1> r die durchgängige bercksichtigung von Sicherheitsaspekten während der Systementwicklung and fr die ganzheitliche，也称为systemweite， Betrachtung der sicherheitsprobleblernantik。Beispielsweise sollen Richtlinien entwickelt werden, die als Hilfestellung beder der anforderunes definition dienen, kriteren erarbeitet werden， die den软件工程师beiselgerichtenen auswahler系统架构师bestekieur系统架构师betetesche，和Werkzeuge zur sicherheitsanalyze von konkreten Programmen beitgestellt werden。Die Ergebnisse von FM-SecEng sollen someit einen Beitrag lelisten, um Die Sicherheit kritischer Systeme beser zu gewährleisten als das mit hetigenmethoden möglich ist。

Neben den funktionalen Anforderungen müssen bei der Entwicklung sicherheitskritischer IT-Systeme auch Sicherheitsaspekte wie Vertraulichkeit, Integrität und Verfügbarkeit beachtet werden. Bisher werden solche Aspekte allerdings noch nicht ausreichend während der Systementwicklung berücksichtigt, worin einer der Hauptursachen für die Vielzahl an Sicherheitsproblemen liegt, die bei heutigen IT-Systemen auftreten. Im beantragten Projekt FM-SecEng sollen Methoden, Techniken und Werkzeuge entwickelt werden, die einen ingenieurmäßigen Entwicklungsprozess für sichere Systeme unterstützen. Unter Verwendung formaler Methoden soll eine Basis geschaffen werden für die durchgängige Berücksichtigung von Sicherheitsaspekten während der Systementwicklung und für die ganzheitliche, also systemweite, Betrachtung der Sicherheitsproblernantik. Beispielsweise sollen Richtlinien entwickelt werden, die als Hilfestellung bei der Anforderungsdefinition dienen, Kriterien erarbeitet werden, die den Software-Ingenieur bei der zielgerichteten Auswahl einer Systemarchitektur unterstützen, und Werkzeuge zur Sicherheitsanalyse von konkreten Programmen bereitgestellt werden. Die Ergebnisse von FM-SecEng sollen somit einen Beitrag leisten, um die Sicherheit kritischer Systeme besser zu gewährleisten als das mit heutigen Methoden möglich ist.