Computer Science
Home

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: Tue 10.7.2018, 15:00, 60 Minuten
Ort: JKU, Science Park 3, Room 218

Zusammenfassung

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.

Vortragender

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

Liste aller Vorträge
Last modified on Thursday, 01-Jan-1970 01:00:00 CET