A multi-modelling based approach to assessing the security of smart buildings

@inproceedings{Mace2018AMB,
  title={A multi-modelling based approach to assessing the security of smart buildings},
  author={John C. Mace and Charles Morisset and Ken Pierce and Carl Gamble and Carsten Maple and John S. Fitzgerald},
  booktitle={IoT 2018},
  year={2018}
}
Smart buildings are controlled by multiple cyber-physical systems that provide critical services such as heating, ventilation, lighting and access control. These building systems are becoming increasingly vulnerable to both cyber and physical attacks. We introduce a multi-model methodology for assessing the security of these systems, which utilises INTO-CPS, a suite of modelling, simulation, and analysis tools for designing cyber-physical systems. Using a fan coil unit case study we show how… CONTINUE READING

Similar Papers

Figures, Tables, and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 29 REFERENCES

A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems

Mihai Neghina, Constantin-Bala Zamfirescu, Peter Gorm Larsen, Kenneth Lausdahl, Kenneth Pierce
  • 2018
VIEW 1 EXCERPT

Comprehensive DSE Support

C. Gamble
  • Technical report, INTO-CPS Deliverable,
  • 2017
VIEW 1 EXCERPT

Exploring the Cyber-Physical Design Space

John S. Fitzgerald, Carl Gamble, Richard John Payne, Benjamin Lam
  • 2017
VIEW 1 EXCERPT