Dr Septavera Sharvia

Lecturer

Faculty of Science and Engineering

School of Engineering and Computer Science

s.sharvia@hull.ac.uk

01482 466534

Septavera Sharvia is a lecturer in computer science who has worked with safety critical systems from the automotive, aerospace and healthcare domains.

Her research interests include model-based dependability analysis, reliability engineering, complex event processing and model checking.

Septavera's current projects involve exploring the dependability innovation for cyber-physical systems, and the safety and verification of autonomous vehicles.

She publishes in international journals, including Elsevier Reliability Engineering and System Safety; and reviews manuscripts for journals, including IEEE Transactions on Reliability and IEEE Robotics and Automation.

Research

Research Interests

  • Model-based dependability analysis

  • Reliability engineering

  • Hazard assessments

  • Cyber-physical systems

  • Model checking

  • Complex event processing

Research groups

  • Member of the Dependable Intelligent Systems Research Group

  • Co-Investigator for DEIS project,'Dependability Engineering Innovation for Cyber-physical systems'(2017-2020). Partners include AVL List, Siemens AG, General Motors Powertrain – Europe, Ideas & Motion, Portable Medical Technology Ltd, Fraunhofer IESE Kaiserslautern, Dundalk Institute of Technology, University of York and Politecnico Milano

  • Co-Investigator for SAS-JLR project, 'Exploring the safety design and analysis of autonomous vehicles' (2018-2019). Project partners include Jaguar Land Rover, Gaydon, UK

Publications

Retouniotis A, Papadopoulos Y, Sorokos I, Parker D, Matragkas N, Sharvia S, 'Model-Connected Safety Cases. International Symposium on Model-based Safety and Assessment', Lecture Notes in Computer Science (LNCS), vol 10437, pp. 50-63 (2017)

Papadopoulos Y, Walker M, Parker D, Sharvia S, Bottaci L, Kabir S, Azevedo L, Sorokos I, 'A Synthesis of Logic and Bio-Inspired Techniques in the Design of Dependable Systems', Annual Reviews in Control, vol 41, pp 170-182 (2016)

Sharvia S, Papadopoulos Y, 'Integrating Model Checking with HiP-HOPS in Model-Based Safety Analysis', Reliability Engineering and System Safety, vol 135, pp 64-80 (2015)

Sharvia S, Kabir S, Walker M, Papadopoulos Y, 'Model-based Dependability Analysis: State-of-the-art, Challenges, and Future Outlook', Software Quality Assurance in Large Scale and Complex Software-intensive System, pp 251-275 (2015)

Mian Z, Bottaci L, Papadopoulos Y, Sharvia S, Mahmud N, 'Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems', Dependability Problems of Complex Information Systems, vol 307, pp 91-110, ISBN: 978-3-319-08964-5 (2015)

Full list

Teaching

Programmes taught on (2018)

Programmes taught on (2019)

Modules list

  • Information Systems and Web Technologies

  • Web Skills and Technologies

  • Software Project-based Learning

  • Supervisor for BSc (Hons) Final Year Project

Research PhDs

Septavera welcomes applications in dependability analysis, Internet of Things, autonomous vehicles, cyber-physical systems and model checking.

Current PhD supervisions 

  • Athanasios Retouniotis, Model-connected Safety Cases, co-supervisor (2016- )

Professional highlights

Academic qualifications

  • BSc (Hons: 1st ) Computer Science, University of Hull

  • MSc (Research) Computer Science, University of Hull

  • PhD Computer Science, University of Hull

Awards and accolades

  • Recipient of Applied Science Scholarship for International Students (2005-2009)

Research grants

  • DEIS Co-Investigator, 'Dependability Engineering Innovation for Cyber-physical systems'. Partners include AVL List, Siemens AG, General Motors Powertrain – Europe, Ideas & Motion, Portable Medical Technology Ltd, Fraunhofer IESE Kaiserslautern, Dundalk Institute of Technology, University of York and Politecnico Milano, ABD01DA011/YBD026 - H2020 grant DEIS, €553,068 locally (2017-2020)

  • SAS-JLR Co-Investigator, 'Exploring the safety design and analysis of autonomous vehicles'. Project partner include Jaguar Land Rover, Gaydon, UK, £134,000 (2018-2019)

  • British Research Council Workshop travel grant ICT4HOP (2016)