Centro de Congressos do ISEP | Sala Reuniões ed. E 20 de Setembro de 2011 | 10:30
O Centro de Investigação em Sistemas Confiáveis e de Tempo-Real (CISTER) promove o seminário “Designing and Demonstrating Dependability in Autonomic Computing”, no dia 20 de Setembro. O centro de investigação recebe Iain Bate, professor da University of York (Reino Unido), para a primeira sessão de 2011/2012 da Distinguished Seminar Series.
"DESIGNING AND DEMONSTRATING DEPENDABILITY IN AUTONOMIC COMPUTING" «In this talk I will introduce the work that we have been doing on design for dependability. Specifically I will introduce some of the challenges faced when trying to build an assurance in the autonomic computing domain (including sensornets, swarm robotics, systems of systems, cooperating objects etc.). I will then specifically talk about some of the recent work that I have been involved with. I will first introduce the work we have been doing on anomaly detection for swarm robotics, then introduce some work on multi-modal routing protocols for sensornets, and finally talk about the work on dependability analyses and its relationship to run-time assurance».
IAIN BATE Iain is a Senior Lecturer in Real-Time Systems at the University of York and a visiting professor at MDH. He frequently performs consultancy related to the development and certification of systems for a range of international companies. He is the director of a University spin off working in the safety sector. His research on novel approaches to developing and assuring dependable real-time systems is widely published in more than 80 papers in top conferences and journals such as IEEE Transactions on Software Engineering, Computers and Industrial Informatics. He is also the Editor-in-Chief of the Journal of Systems Architecture.
Instituto Superior de Engenharia do Porto