FB6 Mathematik/Informatik/Physik

Institut für Informatik


Osnabrück University navigation and search


Main content

Top content

Aktuelle Veranstaltungen

Analyse eingebetteter Softwaresysteme
Dozent:Dr.-Ing. Christoph Borchert, Dipl.-Inf. Marcel Köppen
Veranstaltungstyp:Vorlesung und Seminar (Offizielle Lehrveranstaltungen)
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.
Ort:50/E09: Mo. 10:00 - 12:00 (1x), (50/615): Mo. 10:00 - 12:00 (10x) Mo. 14:00 - 16:00 (11x), 69/E18: Di. 14:00 - 16:00 (13x), 32/107: Dienstag, 11.02.2020 14:00 - 16:00, (50/612a): Donnerstag, 27.02.2020 13:00 - 14:00
Semester:WiSe 2019/20
Zeiten:Mo. 10:00 - 12:00 (wöchentlich) - Übung, Ort: 50/E09, (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.2020 14:00 - 16:00, Donnerstag, 27.02.2020 13:00 - 14:00, Ort: 32/107, (50/612a)
Erster Termin:Dienstag, 29.10.2019 14:00 - 16:00, Ort: 69/E18
Veranstaltungsnummer:6.614
ECTS-Kreditpunkte:6,00