• Entwicklung eines Grundverständnisses für Systemsicherheit (Safety&Security);

• Verständnis der rechtlichen Grundlage, Normen und Standards bei der Entwicklung solcher Systeme;

• Grundlegende Techniken zur Entwicklung sicherheitskritischer Systeme beherrschen und anwenden können. Dazu zu zählen formale Modellierungssprachen zur Spezifikation von Eigenschaften, und Verifikationsmethoden wie Test, statische Programmanalyse, Programmverifikation und Modelchecking.

• Der Begriff der Zuverlässigkeit (Dependability);

• Aspekte des Qualitätsbegriffes;

• Rechtliche Aspskte, Normen und Standards wie die funktionale Sicherheitsnorm IEC 61508 und die Common Criteria IEC 15408;

• Softwareentwicköungsmodelle, Gefährdungsanalysen;

• Klassifikation von Security-Attacken;

• Formale Modellierung mit SysML und OCL;

• Verifikationstechniken: Test, statische Programmanalyse, formale Verifikation, Modelchecking

Lehrveranstaltung(en):

• 03-IMAP-SHSQ Systeme hoher Sicherheit und Qualität

MP, mündliche Prüfung, ggf. Bonusprüfung

• D. Smith & K.G.L. Simpson: Functional Safety. Elsevier, 2001

• Nancy G. Leveson: SAFEWARE: SYSTEM SAFETY AND COMPUTERS. Addison-Wesley ISBN: 0-201-11972-2.

• N. Storey: Safety-Critical Computer Systems. Addison Wesley Longman 1996.

• Dieter Gollmann: Computer Security, 2nd edition, Wiley and Sons, 2006

• Edmund M. Clarke, Orna Grumberg and Doron A. Peled: Model Checking, The MIT Press, 1999