Moses - Quality Assurance of Embedded Systems

Zur Modulseite PDF generieren

Modul / Version
#40662 / #5

Gültigkeit
Seit SoSe 2021

Verfügbare Sprache(n)
Englisch

Titel des Moduls
Quality Assurance of Embedded Systems

Leistungspunkte
6

Modulverantwortliche*r
Glesner, Sabine

Benotung
Benotet

Prüfungsform
Mündliche Prüfung

Lehrsprache(n)
Englisch

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
EN 19

Ansprechpartner*in
Glesner, Sabine

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

Webseite

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

Diese Modulbeschreibung ist nicht oder nicht vollständig auf deutsch hinterlegt.

Es wird auf Wunsch trotzdem der Inhalt der unvollständigen Spracheversion angezeigt.

Lernergebnisse

Keine Angabe

Lehrinhalte

Keine Angabe

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Quality Assurance of Embedded Systems	IV	0434 L 169	SoSe	en	4

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Quality Assurance of Embedded Systems (IV):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Contact Hours	15.0	4.0h	60.0h
Exam preparation	1.0	30.0h	30.0h
Exercise preparation	15.0	4.0h	60.0h
Pre- and postprocessing	15.0	1.0h	15.0h
Test preparation	3.0	5.0h	15.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:

Voraussetzung
Leistungsnachweis »[PES] 2 bestandene Tests«

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Mündliche Prüfung

Sprache(n)

Englisch

Dauer/Umfang

Keine Angabe

Prüfungsbeschreibung (Abschluss des Moduls)

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	40	SoSe 2021	WiSe 2025/26
Computer Science (Informatik) (M. Sc.)	1	40	SoSe 2021	WiSe 2025/26
Elektrotechnik (M. Sc.)	1	20	SoSe 2021	WiSe 2025/26
ICT Innovation (M. Sc.)	1	10	SoSe 2021	WiSe 2025/26
Information Systems Management (Wirtschaftsinformatik) (M. Sc.)	1	11	SoSe 2021	WiSe 2025/26
Wirtschaftsingenieurwesen (M. Sc.)	1	18	SoSe 2021	SoSe 2025

Keine Angabe

Sonstiges

Keine Angabe