Navigation To modulepage
Display language

Quality Assurance of Embedded Systems

6

English

#40662 / #5

Seit SoSe 2021

Fakultät IV

TEL 12-4

Institut für Softwaretechnik und Theoretische Informatik

34351800 FG Software and Embedded Systems Engineering (SESE)

Glesner, Sabine

Klös, Verena

lehre@sese.tu-berlin.de

POS-Nummer PORD-Nummer Modultitel
61740 23010 Quality Assurance of Embedded Systems

Learning Outcomes

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.

Content

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.

Module Components

Pflichtteil:

All Courses are mandatory.

Course Name Type Number Cycle Language SWS VZ
Quality Assurance of Embedded Systems IV 0434 L 169 SS English 4

Workload and Credit Points

Quality Assurance of Embedded Systems (IV):

Workload description Multiplier Hours Total
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)
The Workload of the module sums up to 180.0 Hours. Therefore the module contains 6 Credits.

Description of Teaching and Learning Methods

This module is an integrated course with lectures and exercises.

Requirements for participation and examination

Desirable prerequisites for participation in the courses:

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

Mandatory requirements for the module test application:

1. Requirement
[PES] 2 bestandene Tests

Module completion

Grading

graded

Type of exam

Oral exam

Language

English

Duration/Extent

20 - 30 min

Duration of the Module

The following number of semesters is estimated for taking and completing the module:
1 Semester.

This module may be commenced in the following semesters:
Sommersemester.

Maximum Number of Participants

The maximum capacity of students is 30.

Registration Procedures

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.

Recommended reading, Lecture notes

Lecture notes

Availability:  unavailable

Electronical lecture notes

Availability:  available
Additional information:
http://www.sese.tu-berlin.de/

Literature

Recommended literature
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.

Assigned Degree Programs

This moduleversion is used in the following modulelists:

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

Miscellaneous

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