Sie sind hier:

Bereichsnavigation

VSS
- Übersicht
- Vorlesung
- Fragestunde
- Übung
- Helpdesk

Hauptinhalt

Überblick

Verlässliche Systemsoftware (VSS)

Modus Vorlesung: Virtuell asynchron und synchron (Online Material und Fragestunde)
Modus Übungen: Virtuell asynchron und synchron (Online Material und Helpdesk)
Fragestunde: Mittwochs, 16:00 Uhr (s.t.)
Helpdesk: Dienstags, 10 Uhr (s.t.) und Donnerstags, 14 Uhr (s.t.)

Eingebettete Systeme durchdringen praktisch alle Bereiche des täglichen Lebens. Immer häufiger übernehmen diese Aufgaben, welche hohe Anforderungen an die funktionale Sicherheit stellen. Beispiele hierfür sind Fahrerassistenzsysteme in modernen Automobilen, medizinische Geräte, Prozessanlagen oder Flugzeuge. Fehlfunktionen in diesen Anwendungen ziehen mitunter katastrophale Konsequenzen nach sich: finanzielle und materielle Schäden bis hin zu Personenschäden. Die Entwicklung sicherer und robuster Systeme gewinnt daher in der Forschung und Entwicklung zunehmend an Bedeutung.

News

20.01.2021:	Aufgabe 4 ist nun online!
04.01.2021:	Achtung: Die nächste planmäßige Online-Veranstaltung ist der Helpdesk am 12.01.
10.12.2020:	Aufgabe 3 ist nun online!
25.11.2020:	Aufgabe 2 ist nun online!
17.11.2020:	Aufgabe 1 ist nun online!
11.11.2020:	Wir nutzen den heutigen Helpdesk (14 Uhr s.t.) nochmals zur Gruppenbildung per virtuellem Raum.
09.11.2020:	Die Terminabstimmung hat die folgenden Ergebnisse erbracht: Fragestunde Mittwochs, 16:00 Uhr (s.t.), Helpdesk: Dienstags, 10 Uhr (s.t.) und Donnerstags, 14 Uhr (s.t.).
02.11.2020:	Die erste Vorlesung (Vorbesprechung) findet am 05.11. um 16:15 Uhr per BBB statt.
26.10.2020:	Für die Teilnahme ist eine Anmeldung in LSF erforderlich.
26.10.2020:	Die Vorlesung startet in KW45, eine Terminvereinbarung für die Online-Teile erfolgt nach Rücksprache mit allen Teilnehemern.
06.10.2020:	Webseite für das Wintersemester 20/21 ist online!

Virtuellen Veranstaltungskonzept im Wintersemester 2020/21

Änderungen am Veranstaltungskonzept

Durch den Wegfall aller Präsenzanteile ergeben sich eine Reihe von fundamentalen Änderungen im Veranstaltungskonzept, welches wir bis auf weiteres umsetzen. Grundsätzlich folgt die Organisation in weiten Teil dem Konzept des Inverted Classroom. Entsprechend erfolgt die Stoffvermittlung durch Eigenarbeit zuhause. In den virtuellen Unterrichtseinheiten erfolgt letztlich die Anwendung und Reflexion des erarbeiteten Wissens.

Die wesentlichen Eckpunkte dieses Konzepts sind:

Die Lehrinhalte der bisherigen Vorlesung und Tafelübung werden von uns durch Videos und Screencasts vorab bereitgestellt.
Die Vorlesung wandelt sich zu einer wöchentlichen, virtuellen Diskussionsrunde für den gesamten Stoff.
Die Tafelübung in ihrer bisherigen Form entfällt; Diskussion und Fragen werden im Rahmen der gemeinsamen virtuellen Diskussionsrunde am Vorlesungstermin aufgegriffen.
Virtuelle Gruppenarbeit: Die Übungen werden in (virtuell kollaborierenden) Zweiergruppen bearbeitet und elektronisch abgegeben. Die verteilte Versionsverwaltung git wird im Rahmen der Übungen vermittelt und dient als Kollaborations- und Abgabewerkzeug
Die Rechnerübung wandelt sich zu regelmäßig angebotenen virtuellen Beratungsrunden, in welchen durch Teilen des Bildschirms auch Implementierungsfragen gelöst werden können.

Wichtige Hinweise: Digitalisierung der Lehrveranstaltung

Die Veranstaltung findet im Wintersemester 2020/2021 in Form einer virtuellen Vorlesung statt.

Aus organisatorischen und technischen Gründen ist die Teilnehmerzahl begrenzt, daher ist eine Voranmeldung zwingend erforderlich. Die Anmeldung erfolgt in LSF.
In der Veranstaltung werden Programmierkenntnisse in C/C++ vorausgesetzt.
Der Übungsbetrieb im Wintersemester wird in Zweiergruppen statt finden. Präsenzübungen sind aufgrund der angespannten Infektionslage nicht vorgesehen.

Wir arbeiten weiterhin an einem angepassten Veranstaltungskonzept und werden die Webseite entsprechend laufend anpassen. Bitte informieren Sie sich daher regelmäßig über aktuelle Entwicklungen.

Vorlesung

Ziel der Vorlesung ist die zuverlässige Entwicklung von Software (frei von internen Fehlern) ebenso wie die Entwicklung zuverlässiger Systeme (robust gegenüber äußeren Fehlern). Im Fokus steht hierbei weniger die Vermittlung theoretischer Grundkenntnisse, sondern vielmehr deren praktischer Einsatz in Form von:

Fehlersuche und -vermeidung: funktional, räumlich und zeitlich,
unter Einsatz existierender Werkzeuge und Methoden wie sich auch in der Industrie zum Einsatz kommen.
Entwicklung Robuste Echtzeitsysteme durch Fehlertoleranz und Verteilung auf Ebene der Systemsoftware.

Auf diese Weise wird ein Fundament für die konstruktive Umsetzung verlässlicher Systeme gelegt werden.

Weitere Informationen zur Vorlesung...

Inhalt der Übung

Im Rahmen der Übungen werden ausgewählte Vorlesungsinhalte mit besonderem Fokus auf deren praktischer Anwendung vertieft. Zum Einsatz kommen hierbei sowohl aktuelle Ansätze und Methoden aus der Forschung, als auch Werkzeuge und Techniken aus dem industriellen Umfeld. Hierzu zählt insbesondere auch die Fehlersuche mittels Debugger und die statische Codeanalyse .

Im Verlauf des Semesters wird die Verwendung der verschiedenen Techniken und Werkzeuge in den verschiedenen Phasen der Produktentwicklung aufgezeigt, indem ein solcher Entwicklungszyklus simuliert wird.

Weitere Informationen zur Übung...