UNIVERSITÄT DORTMUND FACHBEREICH INFORMATIK
                       Modulkatalog Master-Studiengänge Informatik

Modul INF-MSc-320: Modellbasierte Softwaretechniken für sichere Systeme
(Model-based Software Engineering for Secure Systems)

MA-Studiengänge: Informatik, Angewandte Informatik

Turnus:           Dauer:              Studienabschnitt:              Credits    Aufwand
Nach Bedarf       1 Semester          2. - 3. Semester               6          180 h (60/120)

1 Modulstruktur

 Nr.            Element / Lehrveranstaltung             Typ        Credits    SWS
 1               Modellbasierte Softwaretechniken für sichere Systeme                 V          3          2
 1               Übungen zu Modellbasierte Softwaretechniken für sichere Systeme                 Ü          3          2

2 Lehrveranstaltungssprache

 Deutsch und/oder Englisch

3 Lehrinhalte

Das Software Engineering vertrauenswürdiger, sicherheitskritischer
Systeme stellt große Herausforderungen. Die Vorlesung hat das Ziel,
diese Herausforderungen im Kontext der modell-basierten
Software-Entwicklung zu behandeln. Die Teilnehmenden werden die
Anforderungen an sicherheitskritische Systeme (im Sinne von IT
Security) und die Bedrohungsarten verstehen. Sie erhalten einen
Überblick über die vorhandenen Techniken zur Vermeidung von
Sicherheitsrisiken und Abwehr von Bedrohungen. Sie werden die
Besonderheiten beim Management sicherheitsrelevanter Softwareprojekte,
den Nutzen von Sicherheitsaufwendungen und die einschlägigen Normen
und Verordnungen kennen. Schließlich werden sie sich intensiv mit
modellbasierten Techniken zur Entwicklung sicherheitskritischer
Systeme sowie zur Analyse und zum Reengineering existierender Software
beschäftigt haben, die damit gewonnenen Praxiserfahrungen einschätzen
können, und einen Überblick über vorhandene Werkzeuge und deren
Leistungsfähigkeit haben.

4 Kompetenzen

Die Studierenden sollen über die grundlegenden Fähigkeiten zur
Einschätzung von Methoden und theoretischen Ansätzen für die
modell-basierte Entwicklung sicherer Softwaresysteme (im Sinne von IT
Security) verfügen. Sie können geeignete methodische Zugriffe und
theoretische Ansätze zur Spezifikation und zum modell-basierten
Entwurf von sicherheitskritischer Software auswählen und bei der
Bearbeitung des Untersuchungsgegenstands empirisch und konzeptionell
erproben.

5 Prüfungen

Modulprüfung: Klausur (120 Minuten) oder mündliche Prüfung (30 Minuten)

Studienleistungen: 
- aktive Teilnahme an Übungen (inkl. Präsentation eigener Lösungen) 
- 50% der Aufgabenpunktzahl
Die Studienleistung ist Voraussetzung für die Teilnahme an der Modulprüfung. 

6  Prüfungsformen und -leistungen

   X  Modulprüfung

7  Teilnahmevoraussetzungen

 Basismodul aus dem Forschungsbereich A (Software, Sicherheit und Verifikation)

8  Modultyp und Verwendbarkeit des Moduls

Vertiefungsmodul in den Masterstudiengängen Informatik und Angewandte Informatik
Forschungsbereich: Software, Sicherheit und Verifikation

9  Modulbeauftragte/r                              Zuständiger Fachbereich           
    Prof. Dr. Jan Jürjens,                              Fachbereich Informatik

Version 1, Stand 12.10.2009