Toggle Main Menu Toggle Search

Open Access padlockePrints

Design Space Exploration for Secure Building Control

Lookup NU author(s): Martin Mansfield, Dr Charles Morisset, Dr Carl Gamble, Dr John Mace, Dr Ken Pierce, Professor John Fitzgerald


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


By automation of their critical systems, modern buildings are becoming increasingly intelligent, but also increasingly vulnerable to both cyber and physical attacks. We propose that multi-models can be used not only to assess the security weaknesses of smart buildings, but also to optimise their control to be resilient to malicious use. The proposed approach makes use of the INTO-CPS toolchain to model both building systems and the behaviour of adversaries, and utilises design space exploration to analyse the impact of security on usability. By separation of standard control and security monitoring, the approach is suitable for both the design of new controllers and the improvement of legacy systems. A case study of a fan coil unit demonstrates how a controller can be augmented to be more secure, and how the trade-off between security and usability can be explored to find an optimal design. We propose that the suggested use of multi-models can aid building managers and security engineers to build systems which are both secure and user friendly.

Publication metadata

Author(s): Mansfield M, Morisset C, Gamble C, Mace JC, Pierce K, Fitzgerald J

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 16th Overture Workshop

Year of Conference: 2018

Online publication date: 14/07/2018

Acceptance date: 13/05/2018


Notes: Workshop held in association with the Federated Logic Conference (FLoC) 2018 and the 22nd International Symposium on Formal Methods (FM 2018).