- MSc (University of Nottingham)
- PhD (University of Hull)
500083 - Advanced Programming
551456 - Software Engineering Design Patterns
551462 - Design, Develop, Deploy
700105 - Games Achitecture and Concurrency
700109 - Advanced Computational Science
A Model-based RCM Analysis Method
Mian, Z., Jia, S., Shi, X., Tang, C., Chen, J., & Gao, Y. (2020). A Model-based RCM Analysis Method. In IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) (301-307). https://doi.org/10.1109/QRS-C51114.2020.00059
A Cost Modeling Method Based on AADL2
Mian, Z., Tang, C., Gao, Y., Jia, S., Shi, X., & Chen, J. (2020). A Cost Modeling Method Based on AADL2. In 4th International Conference on System Reliability and Safety (ICSRS) (549-553). https://doi.org/10.1109/ICSRS48664.2019.8987612
My research interests lie in the field of system dependability analysis, safe AI, machine learning, reliability centred maintenance (RCM) and intelligent maintenance. I am also interested in model-driving engineering (MDE), automated model transformations and its validation and verification.
Most recently I have become interested in integrating state-of-the-art AI, IoT, Big Data, Blockchain and Digital Twins into the model-based dependability analysis field to obtain an intelligent dependability analysis and maintenance of systems.
Recruiting/Currently available PhD topics:
 Integrating AIs into model-based intelligent maintenance: