Eine Vielzahl von eingebetteten Systemen muss ihre Aufgaben innerhalb festgelegter Zeitintervalle erfüllen. Systeme mit solchen Anforderungen bezeichnet man als eingebettete Echtzeitsystem. Im Seminar werden Methoden und Ansätze beleuchtet, die es ermöglichen, eingebettete Echtzeitsysteme zu entwerfen und zu verifizieren.

Die Studierenden sollen die Herausforderungen, welche bei dem Entwurf und der Analyse von eingebetteten Echtzeitsystemen entstehen, kennenlernen. Darüber hinaus sollen die Studierenden das selbstständige Arbeiten in einem wissenschaftlichen Themengebiet erlernen.

Über ein ausgewähltes Thema ist eine Ausarbeitung zu erstellen und eine dazugehörige Präsentation zu halten.

Mit "P" markierte Termine sind Präsenztermine. Diese finden um 10:00 Uhr in O27/312 statt.

Die Anmeldung und die Vergabe der Plätze wird zentral über Moodle abgewickelt.

Die Ausarbeitung muss einen angemessenen Umfang haben. Zum Umfang zählen Text und Bilder. Die von der Universität bereitgestellte Vorlage kann für die Ausarbeitung verwendet werden. Die Arbeit soll in LaTeX geschrieben werden.

Die Abgabe der Ausarbeitung erfolgt als PDF.

Die Dauer der Präsentation soll 20 Minuten umfassen. Im Anschluss sind 10 Minuten für Fragen und Diskussion vorgesehen. Der Einsatz von Medien (Folien, (elektronische) Tafel, etc.) kann frei gewählt werden. Die Präsentationen werden als Blockveranstaltung voraussichtlich gegen Ende des Semesters stattfinden.

Zur Erstellung der Präsentation wird auf folgende Literatur verwiesen: