Module Number

INFO-4374
Module Title

Software Quality
Lecture Type(s)

Seminar
ECTS 3
Work load
- Contact time
- Self study
Workload:
90 h
Class time:
30 h / 2 SWS
Self study:
60 h
Duration 1 Semester
Frequency In the summer semester
Language of instruction German
Type of Exam

Presentation

Content

The reliability, safety, correctness and robustness of embedded systems are becoming increasingly important. Errors occur again and again, including critical ones that are due to thought-logical errors in the specification and implementation of the system. Hardware and software are as important as the hardware description languages and programming languages used. For the avoidance of errors restrictions are often specified to the used languages, in order to prevent dynamic malfunctions, but also, in order to simplify the analysis and verification. The techniques range from static analysis of systems, programs and specifications with respect to a wide variety of issues to more and more combinations of machine proof systems and model checkers. In addition to fault avoidance, fault tolerance (e.g., through redundancy, multiple design) is also an interesting approach for software. Techniques such as runtime checking, observer processes, monitoring, consistency checking are used. More and more, the focus is on quality testing and guaranteeing properties of the systems. An example would be e.g. the certification of safety-relevant systems. In this connection also libraries, tools, compilers, system components, foreign software are of importance, for which the manufacturers are likewise responsible. Mastering these complex interrelationships is not only relevant for systems that pose a risk to human life and limb, but also in the case of economic risk potential, e.g. in the area of security. The goal of this seminar is to give an insight into the theory of embedded system verification and the current tools developed in research, without losing focus on the industrial methods used today.

Objectives

The students can research scientific literature and have acquired reading and learning skills. They can prepare a topic in a structured manner and present it in writing and in the form of a lecture.

Allocation of credits / grading
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%)
Seminar
S
o
2
3.0
tp, op
30
g
100
Prerequisite for participation There are no specific prerequisites.
Lecturer / Other Kropf
Literature

aktuelle Veröffentlichungen aus Industrie und Forschung

Last offered unknown
Planned for Wintersemester 2024
Assigned Study Areas INFO-INFO, MEDI-APPL, MEDI-INFO, MEDI-MEDI, MEDI-MMT, MEDZ-SEM, ML-CS