Ibrahim Habli

Associate Professor / Senior Lecturer in Safety-Critical Systems

BSc (AUB), MSc, PhD (York)


My interests are in the design and assurance of safety-critical systems, with a particular emphasis on Digital Health (e.g. ePrescribing and self-management apps) and intelligent systems (e.g. autonomous and connected driving). 

In 2015, I was awarded a Royal Academy of Engineering Industrial Fellowship to collaborate with the NHS and NHS Digital on evidence-based means for assuring the safety of digital health systems (featured here: Patient safety and digital technologies: A software engineer’s adventures in healthcare)

I teach extensively on York's postgraduate programme in safety-critical systems engineering. I currently lead the MSc in System Safety Engineering with Automotive Applications and co-lead the Distance Learning PhD in Computer Science.

My work is highly interdisciplinary, with active collaborative links with clinicians, health scientists, economists and ethicists. I enjoy empirical and industry-informed research and have coauthored research papers with many engineers including from Rolls-Royce, NASA, Jaguar Land Rover, MIRA, Airservices Australia and the Irish Aviation Authority. 

Since 2007, I have been a member of standardisation committees on dependability and safety. I am currently a member of the DS/1 Dependability committee at BSI, the committee on safety case development within the Motor Industry Software Reliability Association (MISRA) and the Goal Structuring Notation (GSN) Standardisation group. I was a member of the Joint EUROCAE/RTCA committee responsible for developing the aerospace guidance DO-178C and a contributor to the UK response to the automotive safety standard ISO-26262.

I previously worked at the Rolls-Royce University Technology Centre in Systems and Software Engineering (UTC). Prior to that, I was in industry. I worked on a number of large-scale Geographic Information Systems, mainly for water and electrical network infrastructures. In 2009, I completed my PhD in Computer Science from the University of York. The topic of my PhD was model-based assurance of safety-critical product lines.

Selected Publications

  1. BulletIbrahim Habli, Sean White, Mark Sujan, Stuart Harrison, Marta Ugarte: What is the Safety Case for Health IT? A Study of Assurance Practices in England, Sep 2018 (Accepted/In press) In : Safety science Journal.

  2. BulletDelgado-Perez, P., Habli, I., Gregory, S., Alexander, R., Clark, J. & Medina-Bulo: Evaluation of Mutation Testing in a Nuclear Industry Case Study, (Accepted/In press) In: IEEE Transactions on Reliability.

  3. BulletRadu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases, IEEE Transactions on Software Engineering, Issue: 99, August 2017 (DOI: 10.1109/TSE.2017.2738640).

  4. BulletMark Sujan, Ibrahim Habli, Tim Kelly, Simone Pozzi, Astrid Guhnemann, Chris Johnson: How can health care organisations make and justify decisions about risk reduction? Lessons from a cross-industry review and a health care stakeholder consensus development process, Reliability Engineering & System Safety Journal, Vol 61, May 2017.

  5. BulletIbrahim Habli, Sean White, Stuart Harrison, Manpreet Pujara: Exploring the Notion of Hazards for Health IT, Informatics for Health 2017, Manchester, UK April 2017.

  6. BulletAndrew Carr, Damian Murphy, Ian Dugdale, Anne Dyson, Ibrahim Habli, Richard Robinson: Developing the Safety Case for MediPi: An Open-Source Platform for Self Management, Informatics for Health 2017, Manchester, UK April 2017.

  7. BulletMark Sujan, Ibrahim Habli, Tim Kelly, Simone Pozzi, Chris Johnson: Should Healthcare Providers Do Safety Cases? Lessons From A Cross-Industry Review of Safety Case Practices? Safety Science Journal,  Vol. 84, April 2016.

  8. BulletEwen Denney, Ibrahim Habli, Ganesh Pai: Dynamic Safety Cases for Through-life Safety Assurance, 37th International Conference on Software Engineering (ICSE 2015), Florence, Italy, May 2015.

  9. BulletIbrahim Habli, Tim Kelly, Kevin Macnish, Christopher Megone, Mark Nicholson, Andrew Rae: The Ethics of Acceptable Safety, 23rd Safety-critical Systems Symposium, Bristol, UK, February, 2015.

  10. BulletRichard Hawkins, Ibrahim Habli, Tim Kelly, Dimitris Kolovos, Richard Paige: Weaving an Assurance Case from Design: A Model-Based Approach, 16th IEEE International Symposium on High Assurance Systems Engineering, Daytona Beach, Florida, USA, January 2015.

  11. BulletMatthew Bennion, Ibrahim Habli: A Candid Industrial Evaluation of Formal Software Verification using Model Checking, 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, May/June 2014.

  12. BulletRichard Hawkins, Ibrahim Habli, Tim Kelly, John McDermid: Assurance Cases and Prescriptive Software Safety Certification: A Comparative Study. Safety Science, Vol. 59, November 2013.

  13. BulletRichard Baker, Ibrahim Habli: An Empirical Evaluation of Mutation Testing For Improving the Test Quality of Safety-Critical Software. IEEE Transactions on Software Engineering, Vol. 39, No. 6, June 2013.

  14. BulletEwen Denney, Ibrahim Habli, Ganesh Pai: Perspectives on Software Safety Case Development for Unmanned Aircraft, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012), Boston, Massachusetts, USA, June 2012.

  15. BulletPatrick Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John Knight: Arguing Conformance, IEEE Software, Vol. 29, Issue 3, May/June 2012.

  16. BulletIan Dodd, Ibrahim Habli: Safety Certification of Airborne Software: An Empirical Study, Reliability Engineering & System Safety Journal, Vol. 98, Issue 1, February 2012.