Computer Science Colloquium
Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der Österreichischen Gesellschaft für Informatik (ÖGI), der Arbeitsgemeinschaft für Datenverarbeitung (ADV) sowie der Österreichischen Computergesellschaft (OCG) abgehalten wird, spricht
Prof. Dr. Sebastian Fischmeister
University of Waterloo (Canada), Real-time Embedded Software Group
über das Thema:
The Convergence of Safety and Security for Safety-critical Systems
Zeit: 2018-07-10 15:00:00.0, 60 Minuten
Ort: JKU, Science Park 3, Room 218
For decades, safety was the dominating topic for cyber-physical systems. Safety of a system
ensures that in the case of faults, the system is still highly unlikely to cause harm to users, capital
infrastructure, or the environment. With the advent of connectivity, security is now becoming an equally
important topic as connectivity creates scalable attacks. Unfortunately, the complexity of today's systems
prevents engineers from gaining a deep understanding of systems and consequently new approaches for
safety and security approaches are necessary.
The talk presents ongoing development of a framework for machine-based safety and security monitoring.
The framework is based on specification mining, runtime verification, and anomaly detection using known
but also novel data sources. The utility of the framework includes, besides online safety and security
monitoring, providing insights to engineers, delivering prognostics and diagnostics, and demonstrating
compliance with safety specifications. The results are promising and are supported by demonstrations on
autonomous vehicles and other case studies.
Sebastian Fischmeister performs systems research at the intersection of software technology, distributed
systems, and formal methods. His preferred application area includes distributed real-time embedded
systems in the domain of automotive systems, avionics, and medical devices. Key highlights of his research
include a framework for scalable location-based pervasive computing systems and tree communication
schedules for verifiable but flexible real-time communication. He received the Dipl.-Ing. degree in
Computer Science at the Vienna University of Technology, Austria, in March 2000, and his Ph.D. degree in
Computer Science at the University of Salzburg, Austria in December 2002. He continued working at the
University of Salzburg as researcher and lecturer and was awarded the Austrian APART stipend in 2005. He
subsequently worked at the University of Pennsylvania, USA, as Post Graduate Research Associate until
2008. Sebastian Fischmeister is currently Associate Professor at the Department of Electrical and Computer
Engineering at the University of Waterloo, Canada.
Einladender: a. Univ.-Prof. Dr. Paul Grünbacher