SafeSoCPS: A Composite Safety Analysis Approach for System of Cyber-Physical Systems.

Nazakat Ali Manzoor Hussain Jang-Eui Hong

Published in: Sensors (2022)

Keyphrases

safety analysis
cyber physical systems
safety critical
cyber physical
embedded systems
control system
nuclear power plant
symbolic model checking
physical world
fault model
critical infrastructure
cyber security
reliability analysis
fault tolerant
formal methods
model checking
intrusion detection
low cost
real time