Faculty Colloq: Quantitative Analysis of Collective Adaptive Systems

Thursday, October 13, 2016 - 13:00 to 14:30
New Computer Science, Room 115

You are invited to join CSE 643 on Emergent Systems for a lecture presented by Professor Hillston, an EPSRC Advanced Research Fellow in the School of Informatics, University of Edinburgh, Scotland. Her talk will be via webex from Berkeley where she is currently visiting.

Jane Hillston, University of Edinburgh
Quantitative Analysis of Collective Adaptive Systems

Quantitative formal methods, such as stochastic process algebras, have been used for the last twenty years to support modelling of dynamic systems in order to investigate their performance. Application domains have ranged from computer and communication systems, to intracellular
signalling pathways in biological cells. Nevertheless this modelling approach is challenged by the demands of modelling modern collective adaptive systems, many of which have a strong spatial aspect, adding to the complexity of both the modelling and the analysis tasks.

In this talk I will give an introduction to formal quantitative analysis and the challenges of modelling collective adaptive systems, together with recent developments to address those challenges using the modelling language CARMA.

Computed Event Type: 
Event Title: 
Faculty Colloq: Quantitative Analysis of Collective Adaptive Systems