Dr Sharvia is a member of the Dependable and Intelligent Systems research group, and a Fellow of Higher Education Academy, UK. She has extensive experience working with safety analysis tools and techniques, and she was involved in various international projects in different domains including automotive, aerospace and healthcare. She has also published in, and reviewed for, many leading journals in the field including Elsevier Reliability Engineering and System Safety, IEEE Transactions on Reliability and IEEE Robotics and Automation.
DEIS project (CI), which explores dependable system integration for Cyber-Physical Systems. H2020 grant, €553,068 locally (2017 - 2020).
ICT4HOP, Workshop travel grant from British Research Council UK.
Her main research interests include model-based dependability analysis, reliability engineering, hazard assessment, fault tree analysis, HiP-HOPS, model checking and Complex Event Processing.
Model-based dependability analysis : state-of-the-art, challenges and future outlook
Kabir, S., Papadopoulos, Y., Sharvia, S., & Walker, M. (2015). Model-based dependability analysis : state-of-the-art, challenges and future outlook. In I. Mistrik, N. Ali, B. Tekinerdogan, R. Soley, & J. Grundy (Eds.), Software Quality Assurance: In Large Scale and Complex Software-intensive Systems (251-278). Elsevier. https://doi.org/10.1016/B978-0-12-802301-3.00012-0
Model-connected safety cases
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. (2017). Model-connected safety cases. Lecture notes in computer science, 10437 LNCS, 50-63. https://doi.org/10.1007/978-3-319-64119-5_4
A synthesis of logic and bio-inspired techniques in the design of dependable systems
Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., …Sorokos, I. (2016). A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control, 41, 170-182. https://doi.org/10.1016/j.arcontrol.2016.04.008
Model transformation for multi-objective architecture optimisation of dependable systems
Mian, Z., Bottaci, L., Papadopoulos, Y., Sharvia, S., & Mahmud, N. (2015). Model transformation for multi-objective architecture optimisation of dependable systems. Advances in Intelligent Systems and Computing, 307, 91-110. https://doi.org/10.1007/978-3-319-08964-5_6