Fachbereich 6 Mathematik/Informatik

Institut für Informatik


Navigation und Suche der Universität Osnabrück


Hauptinhalt

Topinformationen

Analyse eingebetteter Softwaresysteme

6.614

Dozenten

Beschreibung

Software wird heutzutage in vielen sicherheitskritischen Systemen eingesetzt, wie z.B. der Flugzeug-Stabilitätskontrolle und dem Spurhalte-Assistenten im Automobil. Immer wieder hört man dabei von Software-Pannen, die möglicherweise vermeidbar gewesen wären.
Diese Lehrveranstaltung greift solche Software-Fehler auf und präsentiert ausgewählte Software-Testverfahren und deren Grenzen. Die Teilnehmer dieser Lehrveranstaltung erwerben die Fähigkeit, komplexe Computersysteme systematisch zu analysieren und Fehler zu diagnostizieren. Dadurch sind die Teilnehmer am Ende des Semesters in der Lage, exemplarisch zu beurteilen, ob ein Computersystem dem Stand der Technik hinsichtlich Zuverlässigkeit genügt. Die Vorlesung wird durch praktische Übungen begleitet, in denen neben dem Verhalten der Software auch die Funktion der Hardware bis hinunter zu elektrischen Signalverläufen betrachtet wird.

Weitere Angaben

Ort: (50/615): Mo. 10:00 - 12:00 (13x) Mo. 14:00 - 16:00 (13x), 69/E18: Di. 14:00 - 16:00 (14x), 32/107: Dienstag. 11.02.20 14:00 - 16:00
Zeiten: Mo. 10:00 - 12:00 (wöchentlich) - Übung, Ort: (50/615), Mo. 14:00 - 16:00 (wöchentlich) - Übung, Ort: (50/615), Di. 14:00 - 16:00 (wöchentlich), Ort: 69/E18, Termine am Dienstag. 11.02.20 14:00 - 16:00, Ort: 32/107
Erster Termin: Di , 29.10.2019 14:00 - 16:00, Ort: 69/E18
Veranstaltungsart: Vorlesung und Übung (Offizielle Lehrveranstaltungen)

Studienbereiche

  • Informatik > Vorlesungen
  • Informatik > Zwei-Fächer-Bachelor
  • Informatik > Bachelor Informatik