Presentation

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.

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.

aktuelle Veröffentlichungen aus Industrie und Forschung