Safety and Security

Safety and Security

Sichere Systeme garantieren in der Software- und Systementwicklung

Safety and Security

Wir entwickeln computergestützte Methoden und Prozesse für die systematische Integration von Safety (Funktionssicherheit) und Security (IT-Sicherheit) in der Software- und Systementwicklung.

Dabei arbeiten wir an neuen technischen Prinzipien, um konkrete Nachweise für die Sicherheit von Systemen zu führen. Wir verwenden geeignete formale Modelle und automatisierte Techniken, um deren Einsatz in der Praxis zu ermöglichen.

Beispiele für die angewandten Techniken sind:

  • automatisierte Extraktion sicherheitsrelevanter Information aus einer Safetyanalyse;
  • Analyse der Kompromisse (Trade-offs) zwischen Safety- und Security-Designoptionen, beispielsweise, wenn letztere sich widersprechen;
  • Konstruktion schlüssiger Argumente und Bewertungen, die sowohl Safety- als auch Security-Aspekte berücksichtigen;
  • Erstellung von Safety- und Security-Nachweisen unter Verwendung formaler Methoden und mithilfe von Werkzeugen für die statische Softwareanalyse, Modellprüfung und Softwareverifikation.
Dr. Vivek Nigam

Ihr Kontakt

Dr. Vivek Nigam

+49 89 3603522 527
nigam@fortiss.org