Topic: Formal methods in the wild: modelling systems as they are
Speaker: Professor Muffy Calder OBE FRSE FREng, University of Glasgow
Booking Link: https://www.eventbrite.co.uk/
Karen Spärck Jones lecture is taking place directly after the Hopper colloquium and will provide a unique insight into the world of modelling systems.
Formal methods are traditionally used for specifying the behaviour of new software or hardware. But formal models can offer us much more, especially when the systems we have built are used in ways we never intended or anticipated. Models, and their analysis, can help us understand how systems actually behave in the wild, leading to possible interventions and improvements.
In this talk, Professor Calder will give a personal reflection on the role of models in computer science – based on her experience of developing and applying models in domains as diverse as telecommunications, systems biology, and HCI, and at design time, at run time, and after collecting sets of logged user traces from thousands of users.
She will show how models can help us understand and analyse systems as they are, rather than what we hoped for at design time, through two examples: a real-life safety critical communications system with failures, and a mobile app for which interactions of hundreds of users have been logged over many years. In both cases, unexpected behaviours were found – in systems out there in the wild.
The lecture is open to all and is co-sponsored by IBM
Registration -17.30 – 18.00
Networking and refreshments: 19.30-20.30
About the organiser:
The BCS Academy of Computing organises this event; find out more about the group at www.bcs.org/category/14114.
Things to note:
– This event may be recorded.
For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters.