Department of Computer Science Inaugural Lecture
In this talk, Iain will explain why the time events in computer systems can be important, why temporal aspects of systems are hard to predict and even harder to guarantee, and then show how over time it has gone from hard to a situation where we have to rethink our approach to timing and system assurance.
The talk will base itself on real industrial motivations, practical solutions to developing and assuring these systems, and explain a number of challenges of interest to him. Non-computing examples will be used to show that the problems are not new but for dependable systems the solutions must be different. Iain will also explain why some conventional approaches to managing time are useful and others need to be adapted.
About the speaker
Iain Bate is Professor of Dependable RealTime Systems at the University of York, UK. His research interests include scheduling and timing analysis for both safety-critical systems and high-performance systems, and the design and certification of Cyber Physical Systems.