Dr Septavera Sharvia

Dr Septavera Sharvia

Lecturer

Faculty and Department

  • Faculty of Science and Engineering
  • Department of Computer Science and Technology

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.

Recent outputs

View more outputs

Book Chapter

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

Journal Article

PCG signals for biometric authentication systems: An in-depth review

El-Dahshan, E. S. A., Bassiouni, M. M., Sharvia, S., & Salem, A. B. M. (2021). PCG signals for biometric authentication systems: An in-depth review. Computer Science Review, 41, https://doi.org/10.1016/j.cosrev.2021.100420

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

A safety analysis approach to clinical workflows : application and evaluation

Gordon, N., Kabir, S., Sharvia, S., Walker, M., & Al-Qora’n, L. (in press). A safety analysis approach to clinical workflows : application and evaluation. International Journal of Advanced Computer Science and Applications, 4(3), 82-91. https://doi.org/10.14569/SpecialIssue.2014.040310

Research interests

Model-based Dependability Analysis, reliability engineering, domain-specific modelling and languages, hazard assessment, fault tree analysis, HiP-HOPS, model checking and Complex Event Processing.