Engineering and Materials and Computing and Informatics Research Seminar

Computing Seminar: Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems

Light bulb icon
Seminars

As part of the School of Science and Technology's Joint Seminar Programme for the Engineering and Materials and Computing Informatics Research Centres, Dr Richard Banach, University of Manchester presents:Computing Seminar: Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems.

  • From: Wednesday 21 February 2018, 1 pm
  • To: Wednesday 21 February 2018, 2 pm
  • Location: 015, CELS, Nottingham Trent University, Clifton Campus, Clifton Lane, Nottingham, NG11 8NS

Past event

Event details

As part of the School of Science and Technology's Joint Seminar Programme for the Engineering and Materials and Computing Informatics Research Centres, Dr Richard Banach, University of Manchester presents:Computing Seminar: Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems.

Abstract

In developing critical cyberphysical systems, existing computing formalisms are extended to include continuous behaviour. This may happen in a way that neglects elements necessary for correct continuous and physical properties. Issues and risks latent in this kind of approach are identified and illustrated in a simple language.

This seminar is hosted by Dr Richard Cant.

All welcome.

Location details

Room/Building:

015, CELS

Address:

Nottingham Trent University
Clifton Campus
Clifton Lane
Nottingham
NG11 8NS

Past event

Still need help?

+44 (0)115 941 8418