IRUS Total

Analysing mission-critical cyber-physical systems with AND/OR graphs and MaxSAT

File Description SizeFormat 
3451169.pdfPublished version4.28 MBAdobe PDFView/Open
Title: Analysing mission-critical cyber-physical systems with AND/OR graphs and MaxSAT
Authors: Barrere Cambrun, M
Hankin, C
Item Type: Journal Article
Abstract: 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.
Issue Date: 10-Jul-2021
Date of Acceptance: 16-Feb-2021
URI: http://hdl.handle.net/10044/1/89230
DOI: 10.1145/3451169
ISSN: 2378-962X
Publisher: ACM
Start Page: 1
End Page: 29
Journal / Book Title: ACM Transactions on Cyber-Physical Systems
Volume: 5
Issue: 3
Copyright Statement: © 2021 Copyright held by the owner/author(s). This work is licensed under a Creative Commons Attribution International 4.0 License.
Sponsor/Funder: Horizon2020
Funder's Grant Number: Project ID: 739551
Keywords: Mission-critical systems
AND/OR graphs
Most Likely Mission-critical Component Set
Security metric
Aircraft systems
System hardening
Forensic investigations
Cyber-physical security
Publication Status: Published
Conference Place: United Kingdom
Article Number: 30
Online Publication Date: 2021-07-10
Appears in Collections:Computing
Faculty of Engineering

This item is licensed under a Creative Commons License Creative Commons