TU BRAUNSCHWEIG

Seminar Programmierung und Reaktive Systeme

Qualitätssicherung Softwareintensiver Eingebetteter Systeme

Das Seminar findet in Kooperation mit dem Institut für Softwaretechnik und Fahrzeuginformatik statt.

Aktuelle Hinweise

  • Nächster Termin: 29.07.2014 15:00 Uhr - Kolloqium 2
  • Letzter Termin: 04.08. 23:59 Uhr - Abgabe Ausarbeitung

Organisatorisches

  • Art der Veranstaltung: Seminar
  • Stundenzahl: 2
  • Dozentin: Prof. Dr. I. Schaefer
  • Übungsleiter: S. Lity & H.Baller (Sprechzeiten nach Vereinbarung)
  • Termine: 15.4. Kick-Off Treffen, 9.5. Abgabe Gliederung, 26.5. Seminar Vorlesung (IZ 251, 15:00 - 16:30), 23.6. Abgabe Ausarbeitung für Begutachtungsphase, 7.7. Abgabe Gutachten (Reviews), 14.7. Zwischenabgabe Folien, 21.7. Abgabe Präsentationsfolien, 22.7. Kolloquim 1 (15:00 - 18:00), 29.7. Kolloqium 2 (15:00 - 18:00), 4.8. Abgabe Ausarbeitung und nach Abpsrache
  • Prüfungsmodalitäten: Ausarbeitung mit Vortrag

Qualifikationsziele

Selbständige Einarbeitung, Aufbereitung und Präsentation eines Themas; Feststellung der Wirkung des eigenen Vortrags auf andere Studierende; Erlernen von Schlüsselqualifikationen, wie etwa der Präsentationstechnik und Verfeinerung rhetorischer Fähigkeiten.

Inhalt

Eingebettete Systeme ermöglichen in heutigen Systemen (Kraftfahrzeugen, Flugzeugen, etc.) neue Funktionalität, die sich ausschließlich durch Hardware nicht realisieren lassen würde. Hierbei übernehmen sie Überwachungs-, Regelungs- und/oder Steuerungsfunktionen. Ihr vielseitiger Einsatz, gerade im Bereich sicherheitskritischer Systeme, erfordert die korrekte Funktionalität entsprechend ihrer Spezifikation. Demzufolge ist die Qualitätssicherung, d.h. die Sicherstellung, dass ein System seine Spezifikation erfüllt, ein wichtiger Bestandteil der Entwicklung eingebetteter Systeme.

Wir wollen in dem Seminar aktuelle Themen aus dem Gebiet der Qualitätssicherung eingebetteter Systeme für Vorträge anbieten. Dazu gehören Vorträge zu einzelnen QA-Verfahren, Standards und Normen sowie der Sicherheits- und Zuverlässigkeitsanalyse.

Themen

Hier eine Übersicht über die Themen des Seminars. Weitergehende Literatur geht aus den Quellen der Papiere hervor und ist zu recherchieren. Die Zuteilung von Themen und Papieren erfolgt in der ersten Veranstaltung.

  • Modellbasiertes Testen von Software-Produktlinien (Vergeben)
  • Modellbasierte Testfallgenerierung (Vergeben)
  • Modellbasiertes Testen von Echtzeit und Hybriden Systemen (Vergeben)
  • Standards und Normen in der Qualitätssicherung (Vergeben)
  • Formale Verifikation eingebetteter Systeme (Vergeben)
  • Sicherheits- und Zuverlässigkeitsanalyse eingebetteter Systeme (Vergeben)
  • Qualitätssicherung in der Industrie (Vergeben)
  • Diversifizierende Teststrategien für das Testen eingebetteter Systeme (Vergeben)

Anmeldung

Zur Anmeldung tragen Sie sich bitte im Stud.IP ein. Es gibt insgesamt acht PlätzeEs gibt aber auch eine Liste für Nachrückende.

Ablauf des Seminars

Die Themen für die Vorträge werden bei einem ersten Treffen in der ersten Semesterwoche vergeben. Es wird eine Einarbeitungszeit geben, die von der Abgabe einer Gliederung  der Ausarbeitung/Vortrag abgeschlossen wird. Es wird eine Zwischenabgabe der vollständigen Ausarbeitung sowie der Vortragsfolien geben. Falls gewünscht, wird ein Probevortrag angeboten. Innerhalb der letzten zwei Semesterwochen finden die Abschlußvorträge im Rahmen eines Kolloqiums statt.

  • 15.4. Kick-Off Treffen
  • 9.5. Abgabe Gliederung
  • 26.5. Seminar Vorlesung (IZ 251, 15:00 - 16:30)
  • 23.6. Abgabe Ausarbeitung für Begutachtungsphase
  • 7.7. Abgabe Gutachten (Reviews)
  • 14.7. Zwischenabgabe Folien
  • 21.7. Abgabe Präsentationsfolien
  • 22.7. Kolloqium 1 (15:00 - 18:00)
  • 29.7. Kolloqium 2 (15:00 - 18:00)
  • 4.8. Abgabe Ausarbeitung

Scheinerwerb

Von den Teilnehmern wird erwartet:

  • Ein Vortrag von 30 Min. und ca. 15 Min. Diskussion
  • Eine schriftliche Ausarbeitung (Richtwert 10-15 Seiten)
  • Begutachtung (Review) von zwei anderen Ausarbeitungen
  • Aktive Teilnahme an allen Seminarvorträgen
  • Einhaltung aller Abgabefristen

Serminarmaterial

Weiterführende Literatur

  • Liggesmeyer, P.; Rombach, D. (Hrsg.): Software Engineering eingebetteter Systeme, Spektrum Akademischer Verlag, 2005
  • Zander, J.; Schieferdecker, I.; Mosterman, P. J. (Eds.): Model-Based Testing for Embedded Systems, CRC Press, 2011
  • Broy, M.; Jonsson, B.; Katoen, J.-P.; Leucker, M.; Pretschner, A. (Eds.): Model-Based Testing of Reactive Systems, Springer, 2005
  • Utting, M.; Legeard, B.: Practical Model-Based Testing - A Tools Approach, Morgan Kaufmann, 2006
  • Liggesmeyer, P.: Software-Qualität, Spektrum Akademischer Verlag, 2009

  aktualisiert am 31.07.2017
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang