Requirements modelling for cyber-physical systems

Cyber-physical systems (CPSs) are characterised as systems that are controlled and monitored by software and are tightly integrated with the internet and its users.

Funded by: 
Logo of the Royal Society

Physical and software components are intimately linked, operating in different time-bands and at different spatial scales. They exhibit emergent behaviours arising from their interactions and changing environments. Examples of CPSs include smart grids, self-driving cars, fly-by-wire avionics, personalised healthcare, process control systems, and autonomous robotics.

CPSs are complex and raise significant challenges in dependability and trust. Correspondingly strong guarantees are needed in order to justify their deployment. This project addresses these issues by devising and supporting methods for modelling their requirements and providing precise contracts for what a CPS may and may not do.

Featured researcher

Jim Woodcock

Professor Woodcock's interests include software engineering, formal methods for software and system development and formal semantics. His research also includes unifying theories of programming, hybrid systems, theorem proving and model checking.

View profile