5 ECTS. 4 Modulverantwortlicher Prof. Dr. Francesca Saglietti

Transkript

1 1 Modulbezeichnung Konstruktives Software Engineering (Constructive Phases of Software Engineering) 2 Lehrveranstaltungen V+Ü: Konstruktive Phasen des Software Engineering (erste zwei Monate der Vorlesung Grundlagen des Software Engineering mit Übung) (4 SWS) 5 Inhalt Die Vorlesung befasst sich mit einem breiten Spektrum an ingenieurwissenschaftlichen Prinzipien und alternativen Vorgehensweisen bei Konzeption, Entwicklung und Pflege großer, komplexer Softwaresysteme. Sie bietet eine umfassende Übersicht konstruktiver Verfahren des modernen Software Engineering an. - Die Studierenden werden mit zahlreichen alternativen Entwicklungsverfahren vertraut, die in Abhängigkeit von der vorliegenden Projektgröße, Unternehmensstruktur und Zuverlässigkeitsanforderungen unterschiedliche Eignung bieten. - Sie lernen, die verschiedenen phasenspezifischen und übergreifenden Ansätze zu klassifizieren, sowie deren Nutzen, Grenzen und Komplementarität im Einzelfall zu bewerten Min. Klausur Prüfungsleistungen - bei weniger als 20 Teilnehmern evtl. 30 Min. mündlich 12 Turnus des Angebots Jedes Sommersemester 14 Dauer des 1 Semester 1

2 1 Modulbezeichnung Test- und Analyseverfahren zur Software-Verifikation und Validierung (Test and Analysis Techniques for Software Verification and Validation) 2 Lehrveranstaltungen V+Ü: Software Test and Analysis (2+2 SWS) 5 Inhalt Die Vorlesung befasst sich zunächst mit der Bewertung der Relevanz eingebetteter Software in komplexen Automatisierungssystemen. In Abhängigkeit vom Grad der zu übernehmenden Sicherheitsverantwortung werden anschließend zahlreiche Test- und Analyseverfahren unterschiedlicher Rigorosität behandelt, die sich jeweils zur Überprüfung der Entwicklungskorrektheit (Verifikation) bzw. der Aufgabenangemessenheit (Validierung) eignen. Die Studierenden erwerben fundierte Kenntnisse über: - Verfahren zur Systemanalyse und zur Risikobewertung, - gestaffelte Anforderungen internationaler Standards an den Genehmigungsprozess kritischer Software, - Testverfahren, vor allem im Hinblick auf den für hochzuverlässige Software erforderlichen Nachweis struktureller Codeüberdeckungskriterien, - Analyseverfahren zum Korrektheitsnachweis bzw. zur weitgehend automatischen Generierung von Gegenbeispielen Min. Klausur Prüfungsleistungen - bei weniger als 20 Teilnehmern evtl. 30 Min. mündlich 12 Turnus des Angebots Jedes Wintersemester 14 Dauer des 1 Semester 15 Unterrichtssprache Englisch (auch Deutsch bei Bedarf) 2

3 1 Modulbezeichnung Fehlertolerierende Softwarearchitekturen (Fault-Tolerant Software Architectures) 2 Lehrveranstaltungen V+Ü: Fehlertolerierende Softwarearchitekturen (2+2 SWS) 5 Inhalt - Die Vorlesung befasst sich schwerpunktmäßig mit redundanzbasierten Verfahren zur Tolerierung sporadischer Softwarefehler im Betrieb. Die Studierenden erwerben vertiefte Kenntnisse - über konstruktive Vorgehensweisen beim Entwurf fehlertolerierender Softwaresysteme, insbesondere hinsichtlich der zu optimierenden Freiheitsgrade (Art und Umfang der Redundanz, Eigenschaften des Auswahlmechanismus) - über analytische Ansätze bei der qualitativen und quantitativen Bewertung der durch redundante Softwarearchitekturen erzielbaren Fehlerbeherrschung Min. Klausur Prüfungsleistungen - bei weniger als 20 Teilnehmern evtl. 30 Min. mündlich 12 Turnus des Angebots Jedes Wintersemester 14 Dauer des 1 Semester 3

4 1 Modulbezeichnung Bewertung der Softwarezuverlässigkeit (Software Reliability Assessment) 2 Lehrveranstaltungen V+Ü: Softwarezuverlässigkeit (2+2 SWS) 5 Inhalt - Die Vorlesung befasst sich schwerpunktmäßig mit quantitativen Verfahren zur Bestimmung der erzielten Zuverlässigkeit eines Softwaresystems. Die Studierenden erlernen systematische Vorgehensweisen - einerseits, um während der Testphase bereits erzielte bzw. in naher Zukunft erwartungsgemäß erzielbare Zuverlässigkeitskenngrößen zu schätzen, mit dem Zweck, den Projektleiter im Hinblick auf den optimalen Zeitpunkt zur Produktfreigabe zu unterstützen, - andererseits, um nach der Testphase die Einhaltung vorgegebener Zuverlässigkeits- bzw. Verfügbarkeitsanforderungen statistisch fundiert nachzuweisen, mit dem Zweck, den für die Genehmigung missionskritischer Systeme verantwortlichen Gutachter zu unterstützen. 30 Min. mündliche Prüfung oder 60 Min. Klausur Prüfungsleistungen 12 Turnus des Angebots Jedes Sommersemester 14 Dauer des 1 Semester 4

5 1 Modulbezeichnung Organisation und Qualitätskontrolle im modernen Software Engineering Option A (Organization and Quality Control in modern Software Engineering Option A) 2 Lehrveranstaltungen V+Ü: Software-Qualitätssicherung und Projektmanagement (letzter Monat der Vorlesung Grundlagen des Software Engineering mit Übungen) (2 SWS) Praktische Übungen: Software Engineering in der Praxis (2 SWS) 5 Inhalt - Die Vorlesung bietet eine umfassende Übersicht analytischer und organisatorischer Verfahren des modernen Software Engineering. - In den praktischen Übungen werden Werkzeuge zur Entwicklung und Analyse komplexer Software vorgestellt, deren industrielle Einsetzbarkeit anschließend von den Teilnehmern anhand in der Praxis repräsentativer Aufgabenstellungen erprobt wird. Lernziele und 6 Voraussetzungen für die - Über die analytischen Verfahren hinaus erlernen die künftigen Software- Ingenieure auch wesentliche Aspekte des Projektmanagements (Teamkoordination, Kostenschätzung, menschliche Faktoren) sowie ein breites Instrumentarium zur Messung quantitativer Indikatoren. - Potenzial und Grenzen unterschiedlicher Werkzeuge zur Unterstützung softwaretechnischer Tätigkeiten werden durch deren praktischen Einsatz bei Analyse, Entwurf, Testen, Beweisen und Projektmanagement vermittelt. 7 Einpassung in 8 Verwendbarkeit des 9 Studien- und Prüfungsleistungen V+Ü: 30 Min. Klausur oder bei weniger als 20 Teilnehmern evtl. 30 Min. mündliche Prüfung Praktische Übungen: 30 Min. praktische Prüfung + 15 Min. mündliche Prüfung 10 Berechnung Modulnote V+Ü: 50% der Modulnote Praktische Übungen: 50% der Modulnote 11 Turnus des Angebots V+Ü: Jedes Sommersemester Praktische Übungen: Jedes Semester 12 Arbeitsaufwand Präsenzzeit: 60 h, 13 Dauer des 1 2 Semester, je nachdem, wann die Praktischen Übungen besucht werden 14 Unterrichtssprache Deutsch (Übungen: auch Englisch bei Bedarf) 15 Vorbereitende Literatur 5

6 1 Modulbezeichnung Organisation und Qualitätskontrolle im modernen Software Engineering Option B (Organization and Quality Control in modern Software Engineering Option B) 2 Lehrveranstaltungen V+Ü: Software-Qualitätssicherung und Projektmanagement (letzter Monat der Vorlesung Grundlagen des Software Engineering mit Übungen) (2 SWS) Seminar Software Engineering (2 SWS) 5 Inhalt - Die Vorlesung bietet eine umfassende Übersicht analytischer und organisatorischer Verfahren des modernen Software Engineering. - Im Seminar werden jeweils aktuelle Themen der modernen Softwareentwicklung präsentiert und diskutiert. - Über die analytischen Verfahren hinaus erlernen die künftigen Software- Ingenieure auch wesentliche Aspekte des Projektmanagements (Teamkoordination, Kostenschätzung, menschliche Faktoren) sowie ein breites Instrumentarium zur Messung quantitativer Indikatoren. Im Seminar erwerben die Studierenden Kenntnisse - in der selbständigen Vorbereitung eines wissenschaftlichen Vortrages - in der Präsentation wissenschaftlicher Ergebnisse - in der an der Diskussion - in der kritischen Auseinandersetzung mit anderen Vortragenden. Prüfungsleistungen 11 Berechnung Modulnote Vorlesung: 50% der Modulnote Seminar: 50% der Modulnote V+Ü: 30 Min. Klausur oder bei weniger als 20 Teilnehmern evtl. 30 Min. mündliche Prüfung Seminar: Vortrag + 15 Min. mündliche Prüfung 12 Turnus des Angebots V+Ü: Jedes Sommersemester Seminar: Jedes Semester bei ausreichender Teilnehmerzahl, 14 Dauer des 1 2 Semester, je nachdem, wann das Seminar besucht wird 6