Prof. Sabine Glesner

Information Flow Control in Cyber-Physical Systems

By Prof. Sabine Glesner

Technische Universität Berlin

Time: 2pm Wednesday 7 November

Location: Virtual Experience Lab, Ground Floor, Building 91, RMIT City Campus, 110 Victoria Street, Carlton (map)

Abstract:

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. Nevertheless, being open also implies that malicious intruders can gain access. A first step to increase security is to understand how data and information in the system can flow.

In this talk, I present research results concerning 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. We have modeled this behavior by timed automata and constraint systems. Our results can be directly applied to systems from the automotive domain, which I demonstrate by presenting respective case studies from our experiments. Concludingly, I give an overview over further research topics in my group.

Short Biography:

Prof Sabine Glesner is a full professor at TU Berlin (TUB), in Germany, where she leads the chair for Software and Embedded Systems Engineering. She holds a PhD from Karlsruhe University in Germany, for which she received a best dissertation award from that university. She received numerous other awards including a Fullbright Grant. Her research is in modelling and verification of software for cyberphysical systems with embedded software components as well as in hardware/software codesign. She has published numerous journal articles and refereed conference papers in this field. Prof Glesner is Editor-in-Chief of the Springer Journal "Informatik -- Computer Science -- Research and Development".

At TUB, she is also involved with selecting and approving courses that students have taken, who were visiting TUB-Computer Sciece for a full-semester or full-year study in Germany, including students from Australia.