Summary
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.
Funded grants:
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.
Book Chapter
Model-based dependability analysis : state-of-the-art, challenges and future outlook
Sharvia, S., Kabir, S., Walker, M., & Papadopoulos, Y. (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
Journal Article
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