Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

Wintersemester 23/24

The Missing Semester -- Linux, tooling and much more Specialization course 6 ECTS, 3+1
Verifikation Digitaler Schaltungen / Verification of Digital Circuits Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.

Webseite des ILIAS-Kurses

Download von Vorlesungsmaterialien
Hardware Security and Trust Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.

ILIAS Kurs

Link zu Vorlesungsmaterialien
Automated Reasoning and Machine Learning Seminar

Sommersemester 2023

Technische Informatik Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS)

ILIAS-Kurs

Link zu den Materialien

Wichtig: Die Einteilung der Übungsgruppen erfolgt im Rahmen der Veranstaltung (und nicht im HisInOne).
Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)

Link zu den Materialien

Einführungsveranstaltung: Mittwoch 19.4. um 14:15 in Raum 00-022 in Geb. 051

Wintersemester 22/23

Betriebssysteme Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS)

Die Einteilung in die Übungsgruppen erfolgt in der ersten Vorlesungswoche über das eigene Übungsportal (und nicht über HISinOne).
Verifikation Digitaler Schaltungen / Verification of Digital Circuits Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.

Webseite des ILIAS-Kurses

Download von Vorlesungsmaterialien

Sommersemester 22

Praktikum Hardware Security and Trust Nach Verteilung der Praktikumsunterlagen erfolgt die praktische Versuchdurchführung dezentral mit Hilfe der ChipWhisperer-Umgebung.
Wir treffen uns jeweils freitags von 11:00 -12:00 online zur Besprechung der Aufgaben und zur Beantwortung von Fragen.

Ebenfalls um 11:00 h findet am Freitag, den 29.4.22, eine Online-Vorbesprechung statt.
Die Zugangsdaten zur Vorbesprechung und zu den Treffen an den folgenden Freitagen werden in einer E-Mail am 26.4.22 verteilt.
Um diese Mail zu erhalten ist es wichtig, dass Sie die Veranstaltung in HISInOne belegen.

Teilnahmevoraussetzung: Vorlesung Hardware Security and Trust
Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)

Einführungsveranstaltung: Mittwoch 27.4. um 13:15 in Raum 00-022 in Geb. 051 (unter Corona-Vorbehalt)

Download der Materialien
Real-Time Operating Systems and Worst-Case Execution Times Specialization course, 6 ECTS, 3+1

ILIAS course website

materials download
Proseminar Decision Diagrams Vorbesprechung: : Dienstag, 26.4., 17:30 h, in Raum 00-026 in Geb. 051

Vorträge: : jeweils dienstags, 12.7., 19.7., 26.7., 17:30 h, in Raum 00-026 in Geb. 051

ILIAS Kurs

Wintersemester 21/22

Hardware Security and Trust Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.

Wir bieten die Vorlesung in einem hybriden Format an. Das heißt, an der Vorlesung kann LIVE vor Ort oder per Zoom teilgenommen werden. Nähere Informationen zum Ablauf und zu Zugangsdaten wird es in einer Mail am 18.10.21 geben. Um diese Mail zu erhalten ist es wichtig, dass Sie die Veranstaltung in HISInOne belegen.

Die Vorlesung findet in der ersten Woche ausschließlich online statt.
Betriebssysteme Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS)

In dem Modul werden sowohl die hardwaremäßigen Voraussetzungen als auch die konzeptuellen Grundlagen von Betriebssystemen behandelt. Neben der Behandlung der Aufgaben von Betriebssystemen erfolgt eine Einführung in grundlegende Begriffe wie z.B. Dateisysteme, Prozesse, Nebenläufigkeit, wechselseitiger Ausschluss, Deadlocks bzw. Deadlockvermeidung und Schedulingmethoden. Aufbauend auf Lehrinhalte der Veranstaltung Technische Informatik werden in der Vorlesung auch Hardwareerweiterungen wie die Integration von Interrupts und Ein-/Ausgabeschnittstellen behandelt, die die Implementierung der erwähnten Betriebssystemkonzepte erst möglich machen.

Sommersemester 2021

Technische Informatik Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS)

Auf Grund der aktuellen Coronalage werden sowohl Vorlesung als auch Übung digital über Zoom / BigBlueButton abgehalten. Links finden Sie unter Zeit/Ort, bzw. im Übungsportal. Passwörter werden noch bekanntgegeben.

Wichtig: Die Einteilung der Übungsgruppen erfolgt im Rahmen der Veranstaltung (und nicht im HisInOne).
Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)

Aktueller Hinweis bzgl. Pandemie: Das Praktikum findet statt. Die Einführungsveranstaltung erfolgt online am 21.4. um 13:30- weitere Informationen folgen. Die Leistung kann Online erbracht werden und wird von uns an die jeweiligen gesetzlichen Rahmenbedingungen angepasst.
MatLab ist unter einer Landeslizenz kostenlos für Studierende verfügbar. (siehe Beschreibung)

Wintersemester 20/21

Betriebssysteme Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS)

Wichtig: Aufgrund der aktuellen Situation wird diese Veranstaltung als Live-Vorlesung online angeboten. Zusätzlich werden Aufzeichnungen der Vorlesung zur Verfügung gestellt. Die Zugangsdaten zur Vorlesung und den Vorlesungsmaterialien erhalten Sie am 30.10.20 per Mail. (Sollten Sie keine Mail bekommen haben, kontaktieren Sie bitte den Assistenten der Vorlesung.)

Die Einteilung in die Übungsgruppen erfolgt in der ersten Vorlesungswoche über das eigene Übungsportal (und nicht über HISinOne).

Sommersemester 2020

Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)

Aktueller Hinweis bzgl. Pandemie: Das Praktikum findet statt. Die Einführungsveranstaltung erfolgt online am 13.5. um 13:00- weitere Informationen folgen. Die Leistung kann Online erbracht werden und wird von uns an die jeweiligen gesetzlichen Rahmenbedingungen angepasst.
MatLab ist unter einer Landeslizenz kostenlos für Studierende verfügbar. (siehe Beschreibung)
Echtzeitbetriebssysteme und Worst-Case-Execution-Times / Real-Time Operating Systems and Worst-Case Execution Times Spezialvorlesung (Bachelor Informatik,
Bachelor Embedded Systems Engineering, Master Informatik)
Hinweis:
Bitte verfolgen Sie die Vorlesung anhand der zur Verfügung gestellten Aufzeichnungen. Nach Anschauen der Aufzeichnungen aus der Vorwoche gibt es eine Fragestunde am darauffolgenden Montag ab 16:15 h in Form eines Zoom-Meetings. Der Zugang zu dem Meeting erfolgt wie im ersten Video der Vorlesung beschrieben. Bitte stellen Sie (möglichst bis Freitag, 12:00 h) Fragen im Forum.

Wintersemester 19/20

Betriebssysteme In dem Modul werden sowohl die hardwaremäßigen Voraussetzungen als auch die konzeptuellen Grundlagen von Betriebssystemen behandelt. Neben der Behandlung der Aufgaben von Betriebssystemen erfolgt eine Einführung in grundlegende Begriffe wie z.B. Dateisysteme, Prozesse, Nebenläufigkeit, wechselseitiger Ausschluss, Deadlocks bzw. Deadlockvermeidung und Schedulingmethoden. Aufbauend auf Lehrinhalte der Veranstaltung Technische Informatik werden in der Vorlesung auch Hardwareerweiterungen wie die Integration von Interrupts und Ein-/Ausgabeschnittstellen behandelt, die die Implementierung der erwähnten Betriebssystemkonzepte erst möglich machen.


ILIAS Link

Sommersemester 2019

Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)

Wintersemester 2018/19

Technische Informatik In der Vorlesung wird der Aufbau und Entwurf von Rechnern von der Gatterebene bis zur Anwendungsebene behandelt.

Nach einem einführenden Überblick über die Arbeitsweise von Rechnern (Modellierung, CPU, Speicher, Zeichendarstellung und Zahldarstellung) liegt ein Schwerpunkt der Veranstaltung auf der Vermittlung der notwendigen Grundlagen zum Schaltkreisentwurf. Dazu gehören Boolesche Funktionen und Methoden ihrer Beschreibung, wie Entscheidungsdiagramme, Boolesche Ausdrücke und Schaltkreise. Elementare Methoden der Logiksynthese (z.B. Verfahren von Quine-McCluskey) werden eingeführt und erprobt. In einem weiteren Teil des Moduls widmen sich die Studierenden der Rechnerarithmetik. Ausgehend von verschiedenen Zahlendarstellungen werden Addierer, Multiplizierer und eine ALU entworfen und deren Komplexität abgeschätzt. Darüber hinaus werden Tristate-Treiber, speichernde Elemente und Busse eingeführt. Die Studierenden nutzen die erworbenen Kenntnisse zu Entwurf und Analyse eines kleinen Rechners (ausgehend von einzelnen Komponenten).


Wichtig: Die Einteilung der Übungsgruppen erfolgt in der ersten Vorlesungswoche im Rahmen der Veranstaltung (und nicht im HisInOne). In der ersten Vorlesungswoche finden keine Übungen statt.
Verifikation Digitaler Schaltungen / Verification of Digital Circuits Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.

Sommersemester 2018

Echtzeitbetriebssysteme und Worst-Case-Execution-Times / Real-Time Operating Systems and Worst-Case Execution Times Spezialvorlesung (Bachelor Informatik,
Bachelor Embedded Systems Engineering, Master Informatik)
Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)

Wintersemester 17/18

Embedded Systems Vorlesung im Bachelor-Studiengang Embedded Systems Engineering sowie Spezialvorlesung im Bachelor-/Masterstudiengang Informatik (3+1 SWS, 6 ETCS-Punkte).

Sommersemester 2017

Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)
Verifikation Digitaler Schaltungen / Verification of Digital Circuits Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.

Wintersemester 16/17

Embedded Systems Vorlesung im Bachelor-Studiengang Embedded Systems Engineering sowie Spezialvorlesung im Bachelor-/Masterstudiengang Informatik (3+1 SWS, 6 ETCS-Punkte).

Sommersemester 16

Echtzeitbetriebssysteme Spezialvorlesung (Bachelor Informatik,
Bachelor Embedded Systems Engineering, Master Informatik)
Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)

Wintersemester 15/16

Technische Informatik Vorlesung im Bachelor-Studiengang Informatik+ESE, Magister Nebenfach, Informatik Lehramt Hauptfach (4+2 SWS, 8 ETCS)

Sommersemester 15

Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)
Rechnerarchitektur / Computer Architecture Kursvorlesung
Reversible Logik und Quantumcomputer / Reversible Logic and Quantum Computing Spezialvorlesung

Wintersemester 14/15

Cyber-Physical Systems – Discrete Models Vorlesung im Masterstudiengang ESE, Master Informatik, Bachelor Informatik, Lehramt Informatik (3+1 SWS, 6 ETCS)
Verifikation eingebetteter Systeme Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.

Wintersemester 13/14

Technische Informatik Vorlesung im Bachelor-Studiengang Informatik+ESE, Magister Nebenfach, Informatik Lehramt Hauptfach (4+2 SWS, 8 ETCS)

Sommersemester 2013

Rechnerarchitektur Kursvorlesung
Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)

Wintersemester 2012/13

Entwurf eingebetteter Systeme mit Statecharts Projekt im Bachelor-Studiengang Informatik
Modellierung Eingebetteter Systeme Praktikum im Master-Studiengang Informatik
Embedded Systems Vorlesung im Bachelor-Studiengang Embedded Systems Engineering sowie Spezialvorlesung im Bachelor-/Masterstudiengang Informatik (3+1 SWS, 6 ETCS-Punkte).
Bachelor-Projekt Projekt in den Bachelorstudiengängen Embedded Systems Engineering und Informatik

Sommersemester 2012

Praktikum Embedded Systems Engineering Pflichtpraktikum im Bachelor-Studiengang Embedded Systems Engineering (4 SWS, 6 ETCS)

Echtzeitsbetriebssysteme und Zuverlässigkeit Spezialvorlesung (Bachelor Informatik,
Bachelor Embedded Systems Engineering, Master Informatik)

Wintersemester 2011/12

Systeme I Vorlesung im Bachelor-Studiengang (2+1 SWS, 4 ETCS)
Modellierung eingebetteter Systeme Praktikum im Masterstudiengang, 4 SWS, 6 ETCS
Entwurf eingebetteter Systeme mit Statecharts Projekt im Bachelorstudiengang Informatik, 4 SWS, 6 ETCS
Projekt im Bachelorstudiengang ESE, 3 SWS, 5 ETCS

Sommersemester 2011

Proseminar Computerarithmetik Proseminar
Rechnerarchitektur Kursvorlesung

Wintersemester 10/11

Technische Informatik Vorlesung im Bachelor-Studiengang,
Magister Nebenfach, Informatik Lehramt Hauptfach

Sommersemester 10

Modellierung eingebetteter Systeme Praktikum im Masterstudiengang, 4 SWS, 6 ETCS
Entwurf eingebetteter Systeme mit Statecharts Projekt im Bachelorstudiengang, 4 SWS, 6 ETCS
Proseminar Computerarithmetik Proseminar
Eingebettete Systeme II Spezialvorlesung (Bachelor, Master, Diplom), Vertiefungsgebiet Rechnerarchitektur und Betriebssysteme

Wintersemester 09/10

Eingebettete Systeme I Spezialvorlesung, Vertiefungsgebiet "Rechnerarchitektur und Betriebssysteme"

Sommersemester 09

Rechnerarchitektur Kursvorlesung

!!! Ergebnisse Wiederholungsklausur sind online !!

Die Klausureinsicht ist am Mittwoch den 14.04 und am Donnerstag den 15.04 jeweils von 9:15 - 11:30 und 14:30 - 16:00 in meinem Büro 051-02-032.
Schreibt mir bitte eine Mail (morbe@informatik.uni-freiburg.de) wenn und wann Ihr die Klausur in diesem Zeitraum einsehen wollt.
Seminar SAT-basierte Verfahren im Schaltungsentwurf Das Seminar findet als Blockveranstaltung zum Semesterende statt.

Die Vorbesprechung findet am Mittwoch, 29.4.09, 13:15 h im Hardwarepool (Geb. 51, Erdgeschoss) statt.
Oberseminar Verifikation Eingebetteter Systeme Oberseminar der Arbeitsgruppe

Wintersemester 08/09

Systeme I Vorlesung im Bachelor-Studiengang (2+1 SWS, 4 ETCS)
Verifikation eingebetteter Systeme Spezialvorlesung
Seminar Satisfiability Modulo Theories

Sommersemester 08

Eingebettete Systeme II Spezialvorlesung (Bachelor, Master, Diplom), Vertiefungsgebiet Rechnerarchitektur und Betriebssysteme
Entwurf eingebetteter Systeme mit Statecharts Projekt im Bachelorstudiengang, 4 SWS, 6 ETCS
Modellierung eingebetteter Systeme Praktikum im Diplom- oder Masterstudiengang, 4 SWS, 6 ETCS
Oberseminar Verifikation Eingebetteter Systeme Oberseminar

Wintersemester 07/08

Technische Informatik Vorlesung im Bachelor-Studiengang,
Magister Nebenfach, Informatik Lehramt Hauptfach
Eingebettete Systeme I Spezialvorlesung, Vertiefungsgebiet "Rechnerarchitektur und Betriebssysteme"

Sommersemester 2007

Rechnerarchitektur Kursvorlesung

Wintersemester 06/07

Technische Informatik Vorlesung im Bachelor-Studiengang,
Magister Nebenfach, Informatik Lehramt Hauptfach

Die KLAUSUREINSICHT findet am 18.04. von 9:00-12:00 und am 19.04. von 13:00-16:00 in Raum 051-01-31 statt. Details dazu im Forum (http://abs.informatik.uni-freiburg.de/phorum/list.php?36).
Verifikation, Zuverlässigkeit und Test I Spezialvorlesung

Sommersemester 06

Eingebettete Systeme II Spezialvorlesung im Hauptstudium, Vertiefungsgebiet Rechnerarchitektur
Verifikation und Fehlerdiagnose Seminar
Computer-Aided Engineering Praktikum im Hauptstudium/Masterstudiengang

Wintersemester 05/06

Systeme I Vorlesung im Bachelor-Studiengang
WINFOLine Technische Informatik
Eingebettete Systeme I Wahlpflichtveranstaltung:
Bachelor of Science (6.Semester)
Master of Science (2.Semester)
Modellierung Eingebetteter Systeme Praktikum

Sommersemester 05

Rechnerarchitektur Die Vorlesung ist eine Hauptstudiums-Veranstaltung. Für Studenten des Diplomstudienganges Informatik gehört sie zu den Pflichtveranstaltungen.
Computer-Aided Engineering Praktikum im Hauptstudium
Technische Informatik II Die Veranstaltung ist für Studenten des Diplomstudienganges und des Bachelorstudienganges nach der alten Studienordnung von 2001 verbindlich. (In der neuen Studienordnung von 2004 des Bachelorstudienganges ist der Zyklus Technische Informatik I und II durch eine einzige Vorlesung Technische Informatik ersetzt.)
Oberseminar Verifikation und Fehlerdiagnose Oberseminar

Wintersemester 04/05

Heuristiken zur Lösung von SAT- und QSAT-Problemen Block-Seminar
Systeme Vorlesung im Bachelor-Studiengang
Embedded Systems II Spezialvorlesung im Hauptstudium
Verifikation und Synthese von Hardware Oberseminar

Sommersemester 04

Technische Informatik 2 Vorlesung im Grundstudium
Computer-Aided Engineering Praktikum im Hauptstudium
Eingebettete Systeme Spezialvorlesung im Hauptstudium
Hardwareverifikation Oberseminar

Wintersemester 03/04

Technische Informatik Vorlesung im Grundstudium