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. As a formal foundation, the course introduces formal specification techniques like Timed Automata, Timed CSP and temporal logics. Using this formal foundation, the main focus of the course is on analytical quality assurance, i.e., computer-aided verification via model checking and automated testing (coverage-driven input selection, automated test pattern generation, conformance testing ...).
