State-based Real-time Communication Scheduling
Prof. Sebastian Fischmeister (Department of Electrical and Computer Engineering, University of Waterloo, Canada)
Distributed real-time systems implemented networked applications with timeliness requirements. Such systems must deliver correct values over a network within bounded time.
In this talk, I will present an overview of my work on state-based communication scheduling. State-based communication schedules permit designing systems for the worst case but executing the best case as state-based schedules are a powerful, expressive mechanism to program adaptive but still verifiable communication behavior. I will introduce the underlying concepts, touch on topics such as schedule generation, verification, and implementation at line speed, and show a case study on medical device interoperability. I will finish with lessons learnt from over six years working on this topic and challenges ahead.
Sebastian Fischmeister is currently Assistant Professor at the Department of Electrical and Computer Engineering at the University of Waterloo, Canada. He received his MASc in Computer Science at the Vienna University of Technology, Austria, and his Ph.D. degree at the University of Salzburg, Austria. He was subsequently awarded the APART stipend for young, execellent researchers in 2005 and worked at the University of Pennsylvania, USA, as Post Graduate Research Associate until 2008.
He performs systems research at the intersection of software technology, distributed systems, and formal methods. His preferred application areas are distributed embedded real-time systems in the domain of automotive systems and medical devices. He is now working on the theory and application of state-based schedules for adaptive systems and a debugging/tracing framework for time-sensitive systems.