Imperial College London
Alternate

Professor Christopher Hankin

Faculty of Engineering, Department of Computing

Professor of Computing
 
 
 
//

Contact

 

c.hankin Website

 
 
//

Location

 

Sherfield BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Barrere:2021:10.1145/3451169,
author = {Barrere, Cambrun M and Hankin, C},
doi = {10.1145/3451169},
journal = {ACM Transactions on Cyber-Physical Systems},
pages = {1--29},
title = {Analysing mission-critical cyber-physical systems with AND/OR graphs and MaxSAT},
url = {http://dx.doi.org/10.1145/3451169},
volume = {5},
year = {2021}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - Cyber-Physical Systems (CPS) often involve complex networks of interconnected software and hardware components that are logically combined to achieve a common goal or mission, for example, keeping a plane in the air or providing energy to a city. Failures in these components may jeopardise the mission of the system. Therefore, identifying the minimal set of critical CPS components that is most likely to fail, and prevent the global system from accomplishing its mission, becomes essential to ensure reliability. In this paper, we present a novel approach to identifying the Most Likely Mission-critical Component Set (MLMCS) using AND/OR dependency graphs enriched with independent failure probabilities. We address the MLMCS problem as a Maximum Satisfiability (MaxSAT) problem. We translate probabilities into a negative logarithmic space in order to linearise the problem within MaxSAT. The experimental results conducted with our open source tool LDA4CPS indicate that the approach is both effective and efficient. We also present a case study on complex aircraft systems that shows the feasibility of our approach and its applicability to mission-critical cyber-physical systems. Finally, we present two MLMCS-based security applications focused on system hardening and forensic investigations.
AU  - Barrere,Cambrun M
AU  - Hankin,C
DO  - 10.1145/3451169
EP  - 29
PY  - 2021///
SN  - 2378-962X
SP  - 1
TI  - Analysing mission-critical cyber-physical systems with AND/OR graphs and MaxSAT
T2  - ACM Transactions on Cyber-Physical Systems
UR  - http://dx.doi.org/10.1145/3451169
UR  - https://www.imperial.ac.uk/people/m.barrere
UR  - https://dl.acm.org/doi/10.1145/3451169?cid=81488669082
UR  - http://hdl.handle.net/10044/1/89230
VL  - 5
ER  -
Download