The University of Southampton

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.

  • 8 June 2018

    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 More
  • 19 February 2018

    Saudi Arabian students honoured with Excelling...

    Three postgraduate research students have been presented Excelling Student awards at The Royal Embassy of Saudi Arabia

    Read More
  • 7 February 2018

    Researchers 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 More
  • Publications archive

    Recent CPS Publications

    The cost of link layer security in IoT embedded devices - S. Alharby, A. Weddell, J. Reeve and N. Harris
    Type: Article | 2018 | Item availability restricted.
    ESBMC 5.0: an industrial-strength C model checker - Mikhail R. Gadelha, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer and Denis A. Nicole
    Type: Conference or Workshop Item | 2018 | ACM | Item not available on this server.
    Simultaneous scheduling, allocation and binding in high level synthesis - P. Kollig and Bashir Al-Hashimi
    Type: Article | 1997 | Item not available on this server.

    We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.