Moses - Quality Assurance of Embedded Systems

Zur Modulseite PDF generieren

Modul / Version
#40662 / #1

Gültigkeit
SS 2014 - WS 2014/15

Verfügbare Sprache(n)
English

Titel des Moduls
Quality Assurance of Embedded Systems

Leistungspunkte
6

Modulverantwortliche*r
Glesner, Sabine

Benotung
Benotet

Prüfungsform
Mündliche Prüfung

Lehrsprache(n)
English

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 stattdessen der Inhalt der folgenden Sprachversion angezeigt: Englisch.

Klicken Sie hier um die Inhalte der fehlenden oder unvollständige Sprachversion (Deutsch) anzuzeigen

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

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

Lernergebnisse

Graduates of this module are able to master methods and techniques with which the quality of embedded systems can be systematically ensured. They have knowledge about existing techniques and know how to apply them. Furthermore, they are also able to incorporate new techniques using advanced reading material (e.g., conference proceedings), and to present their main characteristics and how they work. The course mainly imparts: (a) knowledge: 40% (b) skills: 30% (c) competences: 30%

Lehrinhalte

Embedded systems are often safety-critical, for example if they are used in cars, airplanes or avionics. This means that errors can lead to high financial losses or even death or serious injuries. This makes the quality of such systems a major issue and systematic and comprehensive quality assurance techniques are indispensable. In this course, we consider quality assurance for embedded systems ranging from validation and testing over computer-aided verification to system verification and HW/SW co-verification.

Modulbestandteile

Compulsory area

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	WiSe	Keine Angabe	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
Pre- and postprocessing	15.0	4.0h	60.0h
Preparation of Presentation	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

This module is an integrated course with lectures and exercises.

Voraussetzungen für die Teilnahme / Prüfung

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

Knowledge from bachelor modules in Computer Science/Technical Computer Science or the like. Recommended are basic skills in software engineering for embedded systems.

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Oral exam

Sprache(n)

English

Dauer/Umfang

Keine Angabe

Prüfungsbeschreibung (Abschluss des Moduls)

Method of examination: oral exam. As prerequisite for the attendance of the exam special homework exercises have to be passed during the semester.

Dauer des Moduls

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

Dieses Modul kann in folgenden Semestern begonnen werden:
Wintersemester.

Maximale teilnehmende Personen

Die maximale Teilnehmerzahl beträgt 30.

Anmeldeformalitäten

A registration is necessary. Information about the enrolment procedure is published on our website (http://www.pes.tu-berlin.de) at the beginning of each semester.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: verfügbar

Zusätzliche Informationen:

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
Dieses Modul findet in keinem Studiengang Verwendung.

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

Compulsory Elective Module for master students Wirtschaftsingenieurwesen and ICT Innovations (Embedded Systems).

Sonstiges

More reading material will be announced in the lecture and on the course website during the semester