Group colloquium: Prepare for the Internet of Things: Correct and Reliable Construction of Embedded Systems

When: May 23, 2019, 15:45-16:30

Who: Paula Herber

In embedded systems, hardware and software are deeply integrated. In the context of Industry 4.0 and the Internet of Things, embedded systems are additionally getting more and more interconnected and distributed, and process increasing amounts of data. At the same time, embedded systems are often used in safety-critical applications, e.g. in energy control, transportation, or medical systems, where a failure may result in huge financial losses or even endanger human lifes. As a consequence, there is a high demand for automated formal methods to construct safe and secure embedded systems. To achieve this, we require a clear understanding of the models and languages that are used in the development process. However, many industrially relevant languages and models, such as Matlab/Simulink and SystemC, are only informally defined. Together with the restricted scalability of formal design and verification techniques, this makes the correct and reliable construction of embedded systems a major challenge. In this talk, I will summarize some of my contributions and current research activities in this field.