About the Project
This project aims to develop new methodologies for safety and reliability analysis of cyber-physical systems, especially internet of things systems. The solutions will combine advanced software engineering techniques with model-based system analysis methods where system-level safety analysis artefacts such as fault trees and Bayesian networks can be generated from component-level failure logic and the topology of the system. This will allow a rapid probabilistic analysis of systems and enable to produce more meaningful results by refining and synchronising the reliability analysis results with the evolving system designs. Both predictive and diagnostic analyses can be performed using the Bayesian network models. Predictive analysis can determine the failure probability of a system given the failure probability of the components. At the same time, the diagnostic analysis will help to update the prior-belief about the probability of the failure modes based on real-time evidence obtained during system operation.
The project offers the candidate new opportunities to gain invaluable experience in the relevant areas. The successful candidate will have the opportunity to work within a dynamic, effective and multi-disciplinary team, working closely with partners both from academia and industry.
 S. Kabir, “An overview of fault tree analysis and its application in model based dependability analysis,” Expert Systems with Applications, 77, 114-135, 2017.
 S. Sharvia, S. Kabir, M. Walker, and Y. Papadopoulos, “Model-based dependability analysis: State-of-the-art, challenges, and future outlook,” In Software Quality Assurance, pp. 251-278, 2016.
 S. Getir, L. Grunske, A. van Hoorn, T. Kehrer, Y. Noller, and M. Tichy, “Supporting semi-automatic co-evolution of architecture and fault tree models,” Journal of Systems and Software, 142, 115-135, 2018.
 D. Codetta-Raiteri and L. Portinale, “Dynamic Bayesian networks for fault detection, identification, and recovery in autonomous spacecraft,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, 45(1), 13-24, 2015.
Based on your current searches we recommend the following search filters.
Based on your current search criteria we thought you might be interested in these.