Moses - Quality Assurance of Embedded Systems

Zur Modulseite PDF generieren

Modul / Version
#40662 / #5

Gültigkeit
Seit SoSe 2021

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

Lernergebnisse

Graduates of this module are able to master methods and techniques with which the quality of embedded systems can be systematically ensured, in particular fault-tolerance, computer-aided verification and test automation techniques. They have knowledge about existing techniques and know how to apply them.

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. As a formal foundation, the course introduces formal specification techniques like Timed Automata, and temporal logics. Using this formal foundation, the main focus of the course is on analytical quality assurance, i.e., computer-aided verification via model checking and automated testing (coverage-driven input selection, automated test pattern generation, conformance testing ...). Additionally, we consider runtime monitoring and adaptation techniques for fault-tolerance.

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

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:

Voraussetzung
Leistungsnachweis »[PES] 2 bestandene Tests«

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Oral exam

Sprache(n)

English

Dauer/Umfang

20 - 30 min

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:
Sommersemester.

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.sese.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
Computer Engineering (M. Sc.)	1	36	SoSe 2021	SoSe 2025
Computer Science (Informatik) (M. Sc.)	1	36	SoSe 2021	SoSe 2025
Elektrotechnik (M. Sc.)	1	18	SoSe 2021	SoSe 2025
ICT Innovation (M. Sc.)	1	9	SoSe 2021	SoSe 2025
Information Systems Management (Wirtschaftsinformatik) (M. Sc.)	1	10	SoSe 2021	SoSe 2025
Wirtschaftsingenieurwesen (M. Sc.)	1	18	SoSe 2021	SoSe 2025

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