Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT
| Autor: | Martín Barrère, Chris Hankin |
|---|---|
| Přispěvatelé: | Horizon2020 |
| Rok vydání: | 2021 |
| Předmět: |
MaxSAT
Control and Optimization Dependency (UML) Computer Networks and Communications Computer science Distributed computing Reliability (computer networking) Mission critical 0211 other engineering and technologies 0102 computer and information sciences 02 engineering and technology 01 natural sciences System hardening Artificial Intelligence Component (UML) Avionics Mission-critical systems AND/OR graphs 021110 strategic defence & security studies Security metric Cyber-physical system Most Likely Mission-critical Component Set Complex network Forensic investigations Reliability Aircraft systems Human-Computer Interaction Cyber-physical security 010201 computation theory & mathematics Hardware and Architecture Maximum satisfiability problem Safety |
| Zdroj: | ACM Transactions on Cyber-Physical Systems. 5:1-29 |
| ISSN: | 2378-9638 2378-962X |
| DOI: | 10.1145/3451169 |
| Popis: | 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 article, 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 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|