Lernergebnisse
Graduates of this module have practical experience with methods and techniques to analyze complex embedded systems. In addition, they have experience with techniques with which the quality or performance of embedded systems can be systematically ensured. They have learned to solve a complex tasks within a team.
Lehrinhalte
Embedded systems are often highly complex and 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 project, we develop a complex embedded system and use various validation and verification techniques for embedded systems to ensure correctness and performance. As application platform, we use Lego Mindstorm robots.
Beschreibung der Lehr- und Lernformen
This module consists of a project and seminar parts. Within the project, the participants learn to solve a complex task in a team. Within the seminar, the participants give presentations and discuss the presented contents. This module is taught in English.