Dr Septavera Sharvia

Dr Septavera Sharvia

Lecturer

Faculty and Department

  • Faculty of Science and Engineering
  • School of Computer Science

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

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

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, Article 100420. https://doi.org/10.1016/j.cosrev.2021.100420

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

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.

Co-investigator

Project

Funder

Grant

Started

Status

Project

H2020 - ICT - DEIS

Funder

EC European Commission

Grant

£461,398.00

Started

1 February 2017

Status

Complete

Top