Research
Our research involves the exploration and development of theoretical foundations, modelling and programming languages, engineering methods, design tools and system engineering applications
The Cyber Physical Systems (CPS) Research Group is part of the Department of Electronics and Computer Science at the University of Southampton. We undertake research covering Electronics and Computer Science that enables advances in engineering of cyber physical systems. Our research involves the exploration and development of theoretical foundations, modelling and programming languages, engineering methods, design tools and system engineering applications.
People
Our members include leading researchers in computer science and in electronic engineering
Publications
Our research has been presented at international conferences and been published in renowned journals
University of Southampton hosts international...
Computer scientists promoted advances in the design and analysis of safety critical systems at the 6th international ABZ conference in Southampton.
Read MoreSaudi Arabian students honoured with Excelling...
Three postgraduate research students have been presented Excelling Student awards at The Royal Embassy of Saudi Arabia
Read MoreResearchers secure funding for artificial limbs...
Engineers at the University of Southampton will improve access to artificial limbs in lower and middle income countries in a new £900k project
Read MoreRecent CPS Publications
Intelligence of Things: Opportunities & challenges - Hany, Fathy Atlam, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2018
| IEEE
| Item availability restricted.
Behaviour-driven formal model development - Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler, Tomas Fischer, Rupert Schlick and Keming Wang
Type: Conference or Workshop Item
| 2018
| Item availability restricted.
Developing verified sequential programs with Event-B - Mohammad Sadegh Dalvandi
Type: Thesis
| 2018
| University of Southampton