Institut für Eingebettete Systeme/Echtzeitsysteme
Menü
Institut für Eingebettete Systeme/Echtzeitsysteme
Institut
Institut für Eingebettete Systeme/Echtzeitsysteme
Mitarbeiter
Mitarbeiter
Prof. Dr. Frank Slomka
Prof. Dr. Michael Glaß
Steffen Moser
Marco Philippi
Barbara Porada
Valentina Richthammer
Marcel Rieß
Mohammadreza Sadeghi
Offene Stellen
Offene Stellen
Forschungsaufenthalte für ausländische Studenten (über DAAD, ...)
Anreise
Lehre
Lehre
Winter 2020/2021
Winter 2020/2021
Einführung in die Informatik
Grundlagen der Rechnerarchitektur
Entwurfsmethodik Eingebetteter Echtzeitsysteme
Verifikation digitaler Systeme
Proseminar Eingebettete Systeme
Seminar Zuverlässigkeitsanalyse eingebetteter Systeme
Projekte
Projekte
Automatischer Entwurf zuverlässiger eingebetteter Systeme
Algorithmen der Echtzeitanalyse
Echtzeitkommunikationssysteme
Grundlagen der Modellierung des Raumflugs/Apollo Steuercomputer
Hybride Optimierung im Entwurf eingebetteter Systeme
Modularer Entwurf eingebetteter Systeme
Smart Systems: AUV
Sommer 2020
Sommer 2020
Rechnerarchitektur
Spezifikation eingebetteter Systeme
Dependable Embedded Systems
Seminar Entwurfsraumexploration eingebetteter Systeme
Seminar Echtzeittheorie
Proseminar Eingebettete Systeme
Winter 2019/2020
Winter 2019/2020
Grundlagen der Rechnerarchitektur
Entwurfsmethodik Eingebetteter Systeme
Verifikation digitaler Systeme
Seminar Zuverlässigkeitsanalyse eingebetteter Systeme
Proseminar Eingebettete Systeme
Projekte
Projekte
Automatischer Entwurf zuverlässiger eingebetteter Systeme
Algorithmen der Echtzeitanalyse
Echtzeitkommunikationssysteme
Grundlagen der Modellierung des Raumflugs/Apollo Steuercomputer
Hybride Optimierung im Entwurf eingebetteter Systeme
Modularer Entwurf eingebetteter Systeme
Smart Systems: AUV
Vorlesungen
Vorlesungen
Architektur Eingebetteter Systeme
Dependable Embedded Systems
Echtzeitsysteme in Robotik und Regelungstechnik
Entwurfsmethodik Eingebetteter Systeme
Spezifikation eingebetteter Systeme
Verifikation digitaler Systeme
Grundlagen der Rechnerarchitektur
Rechnerarchitektur
Labore
Labore
Eingebettete Systeme
Softwareentwurf mit Multiparadigmen-Programmiersprachen
Projekte
Projekte
Automatischer Entwurf zuverlässiger eingebetteter Systeme
Algorithmen der Echtzeitanalyse
Echtzeitkommunikationssysteme
Grundlagen der Modellierung des Raumflugs/Apollo Steuercomputer
Hybride Optimierung im Entwurf eingebetteter Systeme
Modularer Entwurf eingebetteter Systeme
Smart Systems: AUV
Seminare
Seminare
Proseminar Eingebettete Systeme
Seminar Echtzeittheorie
Seminar Entwurfsraumexploration eingebetteter Systeme
Seminar Zuverlässigkeitsanalyse eingebetteter Systeme
D&D-Seminar
Studentenrunde
Online-Module
Online-Module
Entwurfsmethodik eingebetteter Systeme
Archiv
Archiv
Winter 2018/2019
Winter 2018/2019
Grundlagen der Rechnerarchitektur
Entwurfsmethodik Eingebetteter Systeme
Verifikation digitaler Systeme
Seminar Zuverlässigkeitsanalyse eingebetteter Systeme
Projekte
Sommer 2018
Winter 2017/2018
Winter 2017/2018
Grundlagen der Rechnerarchitektur
Entwurfsmethodik Eingebetteter Systeme
Spezifikation eingebetteter Systeme
Verifikation digitaler Systeme
Labor Eingebettete Systeme
Seminar Zuverlässigkeitsanalyse eingebetteter Systeme
Proseminar Eingebettete Systeme
Abschlussarbeiten
Abschlussarbeiten
Abschlussarbeiten
Allgemein
Unterwasserkommunikation
Entwurf und Optimierung Eingebetteter Systeme
Eingebettete Echtzeitsysteme
Forschung
Forschung
Publikationen
Echtzeit in Regelungssystemen
Echtzeittheorie
Approxsys
Hepproxsys I
Hepproxsys II
Parlot I
Parlot II
EN
