1. Academic experts
  2. Research students
  3. Students
  4. Alumni
  5. Senior people at City
  6. Non-academic staff
  7. Honorary graduates

Contact Information


Visit Kateryna Netkachova

A229K, College Building

Postal Address

City, University of London
Northampton Square
United Kingdom



Kateryna holds a degree with distinction in Computer Engineering (2008) and a PhD (Cand. of Sci., 2013) in Technical Sciences/Information Technology.

She joined the Centre for Software Reliability (CSR) at City University London right after completing her PhD to work on a security and safety research project SESAMO (Artemis JU project, 2012-2015). Starting from 2014, she also takes part in the CEDRICS project that addresses research questions on cyber security risks in industrial control systems.

Prior to joining CSR, Kate worked as a lecturer in the Department of Computer Engineering, Taurida National V.I. Vernadsky University, Ukraine (2008-2012) and conducted academic research in the field of software dependability under the supervision of Prof. V. Kharchenko. In parallel with her teaching and research work, Kateryna held a full-time Team Lead position at a software development company Extensoft, providing management, support and quality assurance for the Artisteer tool (2008-2012), preceded by a technical support position for the CodeCharge Studio product at YesSoftware company (2006-2008).

After joining CSR, her further industrial experience includes a part-time consultancy and industrial research experience at Adelard LLP (London, UK).


  1. PhD, National Aerospace University – Kharkiv Aviation Institute, Ukraine, 2013
  2. Specialist, Computer Science, Taurida National V.I. Vernadsky University, Ukraine, 2008
  3. BSc, Computer Engineering, Taurida National V.I. Vernadsky University, Ukraine, 2007


  1. Visiting Lecturer, City, University of London, Jan – May 2017
  2. Consultant, Product Manager, Adelard LLP, 2013 – present
  3. Research Assistant, City University London, London, 2012 – present
  4. Team Manager, Extensoft, Inc., Jan 2008 – Jan 2012
  5. Lecturer, Taurida National V.I. Vernadsky University, Jan 2008 – Jan 2012
  6. Technical Support Engineer, YesSoftware, Inc., Jan 2006 – Jan 2008



  1. Andrashov, A.A. and Netkachova, K.I. (2012). Safety Case-oriented system requirements analysis: training. National Aerospace University "Kharkiv Aviation Institute" (KhAI). ISBN 978-966-662-270-2.

Chapters (2)

  1. Kharchenko, V.S., Netkachova, K.I., Orekhova, A.O., Tarasyuk, O.M., Gorbenko, A.V., Sklyar, V.V. … Illiashenko, O.O. (2012). CASE-Assessment of critical software systems. National Aerospace University "Kharkiv Aviation Institute" (KhAI).
  2. Andrashov, A.A., Gordeyev, A.A., Lobachova, K.I. and Kharchenko, V.S. Software Quality Assessment and Expertise. ISBN 978-966-662-188-0.

Conference papers and proceedings (13)

  1. Bloomfield, R., Butler, E., Guerra, S., Bloomfield, R.E. and Netkachova, K. (2017). Security-informed safety: Integrating security within the safety demonstration of a smart device.
  2. Bloomfield, R., Butler, E. and Netkachova, K. (2017). Assurance of open systems dependability: developing a framework for automotive security and safety. 6th Workshop on Open Systems Dependability Tokyo, Japan.
  3. Alemzadeh, H., Barbosa, R., Brancati, F., Gallina, B., Lawford, M., Natella, R. … Silva, N. (2017). Message from the WoSoCer workshop organizers.
  4. Netkachova, K., Müller, K., Paulitsch, M. and Bloomfield, R. (2015). Security-Informed Safety Case Approach to Analysing MILS Systems. European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC), International Workshop on MILS: Architecture and Assurance for Secure Systems 19-21 January, Amsterdam, The Netherlands.
  5. Netkachova, K., Müller, K., Paulitsch, M. and Bloomfield, R. (2015). Investigation into a layered approach to architecting security-informed safety cases.
  6. Netkachova, K., Netkachov, O. and Bloomfield, R. (2015). Tool support for assurance case building blocks: Providing a helping hand with CAE.
  7. Netkachova, K., Bloomfield, R., Popov, P. and Netkachov, O. (2015). Using structured assurance case approach to analyse security and reliability of critical infrastructures.
  8. Netkachova, K., Müller, K., Paulitsch, M. and Bloomfield, R. (2015). A layered approach to architecting security-informed safety cases (applied to an avionics case study).
  9. Bloomfield, R. and Netkachova, K. (2014). Building blocks for assurance cases.
  10. Bloomfield, R.E., Netkachova, K. and Stroud, R. (2013). Security-Informed Safety: If it's not secure, it's not safe. 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013) 3-4 October, Kiev, Ukraine.
  11. Netkachova, K. (2011). The Concept, Design and Implementation of Safety Case Cores. Critical Infrastructure Safety and Security 11-13 May, Kirovograd, Ukraine.
  12. Lobachova, K. and Kharchenko, V. (2007). A Conceptual Approach to Assessing Composite Component-Based Software System Reliability. Advanced Computer Systems and Networks: Design and Application 20-22 September, Lviv, Ukraine.
  13. Lobachova, K. (2007). Analisys of Apache and IIS web servers reliability. InfoTech 10-16 September, Sevastopol, Ukraine.

Journal articles (15)

  1. Bloomfield, R., Bishop, P., Butler, E. and Netkachova, K. (2017). Using an assurance case framework to develop security strategy and policies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10489 LNCS, pp. 27–28. doi:10.1007/978-3-319-66284-8_3.
  2. Netkachova, K. and Bloomfield, R. (2017). Is Chocolate Good for You - Or, Is the Cloud Secure? Computer, 50(8), pp. 74–78. doi:10.1109/MC.2017.3001250.
  3. Netkachova, K. and Bloomfield, R.E. (2016). Security-Informed Safety. Computer, 49(6), pp. 98–102. doi:10.1109/MC.2016.158.
  4. Netkachova, K. (2012). Predicting the number of software defects based on testing results. Radioelectronic and Computer Systems, 7(59), pp. 92–95.
  5. Netkachova, K. and Kharchenko, V.S. (2012). Analyzing the Dynamics of software vulnerability detection using a logistic curve. Systems of Control, Navigation and Communications, 2(22), pp. 173–177.
  6. Netkachova, K. (2012). The model and implementation of Safety Case Cores. Information & Security, 28(2), pp. 286–295.
  7. Netkachova, K. (2011). Information Technology for Assessing ICS Functional Safety Using Parameterized Safety Case Tools. Systems of Control, Navigation and Communications, 4(20), pp. 230–232.
  8. Netkachova, K. (2011). Safety assurance and trust cases with the use of formal notations. Weapons Systems and Military Equipment, 3(27), pp. 89–97.
  9. Netkachova, K. and Pokrova, S.V. (2011). Оценка и обеспечение безопасности систем электронного образования на основе веб-сервисов. Бизнес Информ, 6, pp. 183–186.
  10. Netkachova, K. (2010). Safety Case Methodology: Architecting Principles. Radioelectronic and Computer Systems, 7(48), pp. 109–112.
  11. Andrashov, A., Kharchenko, V., Netkachova, K., Sklyar, V. and Siora, A. (2010). Safety Case-Oriented Assessment of Critical Software: Several Principles and Elements of Techniques. Monographs of System Dependability, 2, pp. 11–25.
  12. Lobachova, K.I. (2009). The Concept and Architecture Of Safety Cases: Elements of Analysis. , 7(41), pp. 261–267.
  13. Lobachova, K.I. and Kharchenko, V.S. (2008). A Conceptual Approach to Assessing Composite Component-Based Software System Reliability. The bulletin of Khmelnitsky National University: Technical sciences, 4, pp. 17–20.
  14. Lobachova, K.I. (2008). A Multifunctional System for Assessing and Comparing Software Dependability. Radioelectronic and Computer Systems, 6, pp. 219–223.
  15. Lobachova, K.I. and Kharchenko, V.S. (2007). Assessing Software Vulnerabilities and Recovery Time Using Open Resources. Radioelectronic and Computer Systems, 8(27), pp. 61–65.


  1. Netkachova, K. Methods and information technology for assessing functional safety of information and control systems with the use of formal notations. (PhD Thesis)


Postgraduate modules (MSc) teaching

INM419 Assurance Cases (PRD2 A 2016/17)

INM419 Assurance Cases (PRD2 A 2014/15)

INM419 Assurance Cases (2012/13)

Tutorials and training

"Structured Assurance Cases: A Crash Course"
colocated with the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE), Gaithersburg, USA, 2-5 November 2015 (contribution as a co-author of the tutorial)

Project Marking

Served as a second marker for undergraduates projects at City University London: IN3007 Individual Project 2013/14, 2014/15

Other Activities

Editorial activity

  1. Peer reviewed papers submitted for publication and presentation at conferences and workshops: WoSoCer 2017, Assure 2017, SAFECOMP 2014, IEEE Transactions on Reliability, DESSERT conferences., Reviewer.


  1. A member of the organizing committee for WoSoCer 2017.