Safety-critical Systems
 
Achieving system safety is a growing challenge in the development of advanced applications. This course focuses on so-called functional safety with respect to the use of embedded systems in advanced applications, particularly in systems that integrate mechanics, electronics and software. Although embedded systems pave the way for new safety concepts, they also introduce new faults, errors and failures which in combination with an increased system complexity must be managed. In order to take advantage of the opportunities embedded systems provide, new tools are required. Designing for safety leads to new demands on a system's functional and technical solutions. Special methods for system modeling, analysis, verification, and validation are required. The course highlights various application areas in order to provide a broad knowledge of the field.