Moses - Quality Assurance of Embedded Systems

Display language

To modulepage Generate PDF Generate XML

Module / Version:
#40662 / #1

Validity:
SS 2014 - WS 2014/15

Default display language:
English

Module title:
Quality Assurance of Embedded Systems

Credits:
6

Responsible person:
Glesner, Sabine

Grading:
benotet

Type of exam:
Mündliche Prüfung

Zugehörigkeit

Faculty:
Fakultät IV

Institute:
Institut für Softwaretechnik und Theoretische Informatik

Area of expertise:
34351800 FG Software and Embedded Systems Engineering (SESE)

Prüfungsausschuss:
No information

Kontakt

Office:
TEL 12-4

Contact person:
Klös, Verena

E-mail address:
lehre@sese.tu-berlin.de

Website:

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

Learning Outcomes

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%

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.

Module Components

Pflichtteil:

All Courses are mandatory.

Course Name	Type	Number	Cycle	Language	SWS	VZ
Quality Assurance of Embedded Systems	IV	0434 L 169	WiSe	No information	4

Workload and Credit Points

Quality Assurance of Embedded Systems (IV):

Workload description	Multiplier	Hours	Total
			180.0h(~6 LP)
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

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:

No information

Module completion

Grading

graded

Type of exam

Oral exam

Language

English

Duration/Extent

No information

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

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.pes.tu-berlin.de) at the beginning of each semester.

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

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

This module is used in the following Degree Programs (new System):

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
This module is not used in any degree program.

Students of other degrees can participate in this module without capacity testing.

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

Quality Assurance of Embedded Systems