Moses - Quality Assurance of Embedded Systems

Anzeigesprache

Zur Modulseite PDF generieren

Modul / Version:
#40662 / #5

Gültigkeit:
Seit SoSe 2021

Standard-Anzeigesprache:
Englisch

Titel des Moduls:
Quality Assurance of Embedded Systems

Leistungspunkte:
6

Modulverantwortliche*r:
Glesner, Sabine

Benotung:
benotet

Prüfungsform:
Mündliche Prüfung

Zugehörigkeit

Fakultät:
Fakultät IV

Institut:
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet:
34351800 FG Software and Embedded Systems Engineering (SESE)

Prüfungsausschuss:
Keine Angabe

Kontakt

Sekretariat:
TEL 12-4

Ansprechpartner*in:
Klös, Verena

E-Mail-Adresse:
lehre@sese.tu-berlin.de

Webseite:

http://www.sese.tu-berlin.de

Lernergebnisse

Keine Angabe

Lehrinhalte

Keine Angabe

Modulbestandteile

Pflichtteil:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	VZ
Quality Assurance of Embedded Systems	IV	0434 L 169	SoSe	Englisch	4

Arbeitsaufwand und Leistungspunkte

Quality Assurance of Embedded Systems (IV):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Keine Angabe	15.0	4.0h	60.0h
Keine Angabe	3.0	5.0h	15.0h
Keine Angabe	15.0	1.0h	15.0h
Keine Angabe	15.0	4.0h	60.0h
Keine Angabe	1.0	30.0h	30.0h
			180.0h(~6 LP)

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

Beschreibung der Lehr- und Lernformen

Keine Angabe

Voraussetzungen für die Teilnahme / Prüfung

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

Keine Angabe

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

1. Voraussetzung

[PES] 2 bestandene Tests

Abschluss des Moduls

Benotung

benotet

Prüfungsform

Mündliche Prüfung

Sprache

Englisch

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

Die maximale Teilnehmerzahl beträgt 30.

Anmeldeformalitäten

Keine Angabe

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: verfügbar

Literatur

Empfohlene Literatur
Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh: Handbook of Satisfi ability. IOS Press, 2009.
Christel Baier aund Joost-Pieter Katoen: Principl es of Model Checking, The MIT Press, 2008.
Edmund Clarke, Orna Grumberg, Dolon Pel ed: Model Checking. MIT Press, 2000.

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
Computer Engineering (M. Sc.)	1	28	SoSe 2021	SoSe 2024
Computer Science (Informatik) (M. Sc.)	1	28	SoSe 2021	SoSe 2024
Elektrotechnik (M. Sc.)	1	14	SoSe 2021	SoSe 2024
ICT Innovation (M. Sc.)	1	7	SoSe 2021	SoSe 2024
Information Systems Management (Wirtschaftsinformatik) (M. Sc.)	2	8	SoSe 2021	SoSe 2024
Wirtschaftsingenieurwesen (M. Sc.)	1	14	SoSe 2021	SoSe 2024

Keine Angabe

Sonstiges

Keine Angabe