Talk "Synthesis and Verification of Embedded and Cyber-Physical Systems"

by Sabine Glesner

Tue, 10 January 2017 at 09:30 am in Binz (Rügen), Germany

Joint work with: members of my group

Abstract: Software has become a central and integral part of many systems and products of the information era. In embedded and cyber-physical systems, software is not an isolated component but instead an integrated part of larger, e.g. technical or mechanical systems. During the last decade, there has been an exponential growth in the size of embedded software, resulting in an increasing need for software engineering methods addressing the special needs of the embedded and cyber-physical domain. In this talk, I discuss the challenges that arise in the field of software engineering in embedded and cyber physical systems. Since such systems are ofen used in safety- and security-critical environments, it is an urgent problem how their reliability and correctness can be ensured. A particular problem arises due to the hybrid nature of these systems as they contain both discrete and continuous parts that interact together. I demonstrate how these requirements can be met by presenting some of our research results from the automotive domain and from hardware/software co-design and co-verification. Concludingly, I give an overview over further research topics in my group.