We were delighted to have Prof. Dr. Sabine Glesner from Technische Universität Berlin join us at UNSW Sydney.

Prof. Dr. Glesner discussed the 'New Challenges in Software Engineering for Cyber-Physical Systems'. A number of IFCYBER members joined in person and online to gain valuable insights.


Abstract :

Software is 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 decades, 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. Especially in cyber-physical systems, security has become a major issue. Systems communicate with each other and with their environments and, hence, need to be open and to have interfaces to the outside. Moreover, due to the many new potentials that AI and machine learning methods offer, systems adapt autonomously to new circumstances over time. Nevertheless, being open also implies that malicious intruders can gain access.

In this talk, Prof Dr Sabine Glesner will present research results concerning quality assurance and verification of embedded and cyber-physical systems. Among others, she will address information flow analysis for systems that are modeled in Matlab/Simulink/Stateflow, which is one of the modeling and programming languages of choice in technical environments. A particular problem arises in these systems as they also show time-dependent behavior. Her research has modeled this behavior by timed automata and constraint systems. The results can be directly applied to systems from the automotive domain, which she will demonstrate by presenting respective case studies from her team experiments.

Speaker :

Prof. Dr. Sabine Glesner is a full professor at the Technische Universität Berlin, heading the chair Software and Embedded Systems Engineering. Sabine Glesner holds a Master of Science in Computer Science from the University of California, Berkeley, a diploma degree in Computer Science from the Technical University of Darmstadt, Germany, and a PhD in Computer Science from the University of Karlsruhe, Germany. At the University of Karlsruhe, she also finished her habilitation and established her research group within the Emmy Noether-Program of the German Research Foundation (DFG), which is a program of excellence for young scientists. Sabine Glesner's research lies in the fields of software engineering, embedded and cyber-physical systems, and hardware/software co-design, with a particular focus on validation and verification. Her research projects have been funded, among others, by the German Research Foundation (DFG), the European Commission, and the Federal Ministry for Education and Research.