The Distributed Dissimilar Redundancy Architecture of Fly-by-Wire Flight Control System

Xue, Ye; Zhenqiang, Yao; Niu, Wei

doi:10.1109/cis.2016.0072

Cited by 2 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Diversification and failures. From a redundancy perspective, the use of different components might be beneficial to diversify potential failures under certain conditions and/or cyber attacks [50,76]. Scenario S6 illustrates a case involving the same failures as in S5 , but in addition, sensor packages SP1 and SP3 have been modified and now have a lower failure probability of 0.001 (instead of 0.05).…”

Section: Pitch Control Function Analysismentioning

confidence: 99%

Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT

Barrère

Hankin

2021

ACM Trans. Cyber-Phys. Syst.

View full text Add to dashboard Cite

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.

show abstract

Section: Pitch Control Function Analysismentioning

confidence: 99%