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, a number 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

Conference Proceeding

Safety analysis of clinical workflows: The case of the workflow within a radiology department

Gordon, N., Sharvia, S., Walker, M., & Al-Qora'n, L. (2014). Safety analysis of clinical workflows: The case of the workflow within a radiology department. https://doi.org/10.1109/sai.2014.6918174

Journal Article

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

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

Integrating model checking with HiP-HOPS in model-based safety analysis

Sharvia, S., & Papadopoulos, Y. (2015). Integrating model checking with HiP-HOPS in model-based safety analysis. Reliability Engineering and System Safety, 135(March), 64-80. https://doi.org/10.1016/j.ress.2014.10.025

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.