Moses - Reaktive Systeme

Zur Modulseite PDF generieren

Modul / Version
#40027 / #2

Gültigkeit
SS 2016 - WS 2016/17

Verfügbare Sprache(n)
Deutsch

Titel des Moduls
Reaktive Systeme

Leistungspunkte
6

Modulverantwortliche*r
Nestmann, Uwe

Benotung
Benotet

Prüfungsform
Mündliche Prüfung

Lehrsprache(n)
Deutsch

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
EN 24

Ansprechpartner*in
Nestmann, Uwe

E-Mail-Adresse
lehre@mtv.tu-berlin.de

Webseite

http://www.mtv.tu-berlin.de/menue/lehre/module/resyst/

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SS 2016 - WS 2016/17. Die Version für das aktuelle Semester (SoSe 2025) finden Sie hier: Modulbeschreibung des SoSe 2025

Lernergebnisse

Absolventinnen und Absolventen dieses Moduls können einfache nebenläufige Anwendungen formal spezifizieren, modellieren, und verifizieren. Sie können Fixpunkt-Berechnungen in mehreren unterschiedlichen Anwendungen ausführen sowie die darunter liegende Theorie erklären und rekonstruieren. Weiterhin verfügen sie über ein solides Grundverständnis für formale Verifikationsaufgaben, das sie befähigt die Lösbarkeit solcher Aufgaben mit den erlernten Techniken zu bewerten. Sie sind darüberhinaus in der Lage, die entsprechenden Kenntnisse und Techniken auf übersichtliche Programmier-Beispiele und Algorithmen zielführend anzuwenden.

Lehrinhalte

- Zustandsmaschinen - Prozesskalküle und -sprachen - Transitionssysteme - Bisimulationstechniken - Beaobachtungsäquivalenz - Interleaving vs Gleichzeitigkeit vs Nebenläufigkeit - Fixpunkttheorie - Temporallogik, ohne und mit Rekursion, deren Syntax und Semantik - Model Checking - lineare vs verzweigte Zeit - Fairness-Konzepte

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Reaktive Systeme	VL		SoSe	Keine Angabe	2
Reaktive Systeme	UE		SoSe	Keine Angabe	2

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Reaktive Systeme (VL):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Studium (Vor- und Nachbereitung)	15.0	2.0h	30.0h
			60.0h(~2 LP)

Reaktive Systeme (UE):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Hausaufgaben	4.0	15.0h	60.0h
Präsenzzeit	15.0	2.0h	30.0h
			90.0h(~3 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Prüfungsvorbereitung	1.0	30.0h	30.0h
			30.0h(~1 LP)

Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Die fachlichen Inhalte des Moduls werden im Rahmen einer Vorlesung vermittelt. Die Anwendung und Festigung des Stoffs geschieht durch das regelmäßige gemeinsame Bearbeiten von Aufgabenblättern und die Besprechung des Stoffs und der Aufgaben in Tutorien im interaktiven Stil. Die Aufgaben werden von den Studierenden in Kleingruppen bearbeitet.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Kenntnisse aus den Modulen "Formale Sprachen und Automaten", "Berechenbarkeit und Komplexität" sowie "Logik"

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Voraussetzung
Leistungsnachweis »Hausaufgaben zu Reaktive Systeme (UE)«

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Mündliche Prüfung

Sprache(n)

Deutsch

Dauer/Umfang

Keine Angabe

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Sommersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Die Anmeldung geschieht, soweit für die Prüflinge möglich, über QISPOS. Im Zweifel Anfrage über die angegebene Kontakt-Email.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: verfügbar

Zusätzliche Informationen:
Formelsammlung begleitend zum Lehrbuch.

Literatur

Empfohlene Literatur
Aceto, Luca, et al.: Reactive Systems. Modelling, Specification and Verification. Cambridge University Press, 2007.

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Sonstiges

Keine Angabe