Yiannis Papadopoulos


Faculty of Science and Engineering


01482 465981

Professor Papadopoulos has pioneered work on model-based dependability assessment and evolutionary optimisation of complex engineering systems known as Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS). He co-authored EAST-ADL, an emerging automotive architecture description language.

These technologies have gained wide academic recognition and have been successfully transferred to the automotive, shipping and other industries, where they have been commercialised and successfully deployed in design and engineering processes. He is currently developing technologies for self-certification of cyberphysical and autonomous systems.

More information about his academic and industrial projects can be found on his personal website.

Yiannis is organising IMBSA 2019, the 6th International Symposium on Model-Based Safety and Assessment, which will be held in Thessaloniki, Greece. Find out more.



Research Interests

  • Design of safety critical and dependable systems

  • Model-based software and systems engineering

  • Automated dependability (reliability, safety, availability), analysis of systems

  • Model-based safety analysis, HiP-HOPS, model-checking

  • Self-certification of cyberphysical and autonomous systems

  • Automatic safety argumentation

  • Optimisation of system architecture and maintenance

  • Metaheuristics, genetic algorithms, AI applications in engineering

  • Applications in automotive, aerospace, rail, shipping and offshore, telehealth industries

  • AI applications in art, generative art

  • Digital platforms for art therapy

Research groups

Key research and technology transfer activities led by Prof Papadopoulos

  • Dependable Intelligent Systems (DEIS) research group.

  • Commercialisation of the HiP-HOPS dependability analysis and optimisation tool

  • Commercialisation of the safety designer tool

  • Safety extension to cognition cockpit with SEIntelligence

  • EAST-ADL module in Metaedit+ with capabilities for safety analysis with Metacase

  • GeNeRaTiVe aRt project

  • Author of REF2014 impact case on HiP-HOPS which contributed to the department achieving fifth position nationally for the impact of its research

  • Consultant to automotive, aerospace and other safety critical industries


Aizpurua, J. I., Catterson V. M., Papadopoulos Y., Chiacchio F, Manno G. (2017), 'Improved Dynamic Dependability Assessment Through Integration With Prognostics', IEEE Transactions on Reliability, 99:1-21, ISSN 0018-9529

Papadopoulos Y., Walker M., Parker D., Sharvia S., Bottaci L., Kabir S., Azevedo L., Sorokos I. (2016), 'A Synthesis of Logic and Bio-inspired Techniques in the Design of Dependable Systems', Annual Reviews in Control, 41: 170-182, IFAC & Elsevier, ISSN: 1367-5788 (extension of plenary paper at IFAC- DCDS'15).

Kabir S., Walker M., Papadopoulos Y. Ruede E., Securius P. (2016), 'Fuzzy Temporal Fault Tree Analysis of Dynamic Systems', International Journal of Approximate Reasoning, 77:20-37, Elsevier, ISSN 0888-613X 3.

Sharvia S., Papadopoulos Y. (2015), 'Integrating Model Checking with HiP-HOPS in Model-based Safety Analysis', Reliability Engineering and System Safety, 135:64-80, Elsevier, ISSN 0951-8320

Azevedo L., Parker D., Walker M., Papadopoulos Y., Araujo R. (2014), 'Assisted Assignment of Automotive Safety Requirements', IEEE Software, 31(1):62-68, 2014, 1EEE.

For a comprehensive list of Prof Papadopoulos' publications, please follow this link.


Programmes taught on (2019)

Modules list

  • Introduction to Software Engineering and Human Computer Interaction

  • Advanced Software Engineering

  • Starting up and Managing your own High-Tech Business

Research PhDs

Professor Papadopoulos welcomes applications in all areas of his research. The key requirements for PhD applicants are a good degree, strong software engineering skills, and an exploratory mind. Much of the work has extensive industrial applicability and is done in collaboration with large industrial organisations which are technology leaders in their field.

Despite the many applications of this work in the engineering of technologically advanced systems, such as electric and semi-autonomous cars, the work involved in those PhD projects does not require any knowledge of these engineering domains and is mainly focused on computer science, and the development and implementation of novel algorithms and tools using standard computer equipment and programming environments.

Completed PhDs 

Luis Azevedo (2015), Scalable Allocation of Safety Integrity Levels in Automotive Systems

Zhibao Mian (2014), Model Transformation for Multi-objective Architecture Optimisation for Dependable Systems

Shawulu Nggada (2013), Multi-objective System Optimisation with Respect to Availability, Maintainability and Cost

Nidhal Mahmud (2012), Dynamic Model-based Safety Analysis: from State Machines to Temporal Fault Trees

Amer Dheedan (2012), Distributed On-line Safety Monitor Based on Safety Assessment Model

Septavera Sharvia (2011), Integrated Application of Compositional and Behavioural Safety Analysis

David Parker (2010), Multi-objective Optimisation of Safety-Critical Hierarchical Systems

Ian Wolforth (2010), Specification and Use of Component Failure Patterns

Martin Walker (2009), Pandora - A Logic for the Qualitative Analysis of Temporal Fault Trees

Current PhD supervisions 

Ioannis Sorokos (submitted 2017), Generation of Model-Based Safety Arguments from Automatically Allocated Safety Integrity Levels

Luis Torrao (expected 2019), Timaeus - Tetrahedral Illuminated Media Augmented Scupltures Art Therapy Studio

Professional highlights

Academic qualifications

  • DPhil, Computer Science, University of York, 2000

  • MSc, Advanced Manufacturing Technology, Cranfield University, 1993

  • MSc, Electrical and Computer Engineering, Aristotelian University of Thessaloniki, Greece, 1991

External roles

  • Member of the board of the EAST-ADL Association (body concerned with maintenance and evolution of the EAST-ADL automotive design language)

  • Member of International Federation of Automatic Control (IFAC) Technical Committee (TC) 5.1 on Manufacturing Plant Control

  • Member of IFAC TC 1.3 on Discrete Event and Hybrid Systems

  • Representative of IFAC TC 1.3 in the IPC of IFAC SAFEPROCESS Symposium, and the IPC of IFAC NECSYS (Distributed Estimation and Control in Networked Systems)

  • On the steering committee of IFAC-DCDS (Dependable Control of Discrete Systems) and of the IMBSA (International Symposium on Model-Based Safety Assessment)

  • On the editorial board of the International Journal of Discrete Event Control SystemsHeliyonInternational Journal of SafetyJournal of Technology and Engineering and Journal of Sciences

Awards and accolades

Research grants

  • DEIS (2016-2020). EU H2020 project developing a concept of digital dependability identities, i.e. modular, composable, and executable specifications of dependability for components and systems with key application in cyber-physical and open systems of systems. Partners include AVL List GmbH, Siemens AG, General Motors Powertrain - Europe, Ideas & Motion and Portable Medical Technology Ltd.

  • MAENAD (2011-2015), EU FP7 project on design of fully-electric vehicles in line with new automotive safety standards. Key contributions included development of algorithms for automatic allocation of safety requirements and new concepts for automatic optimisation of system architectures, including across product lines, using various metaheuristics. Partners included Volvo, Fiat, Continental, Delphi, CEA (France), Royal Institute of Technology (Sweden), and Technical University of Berlin (Germany).

  • DELTA (2012-2014) Dependable Telehealth, HEIF5 project funded by the British Government, developing techniques for dependable design of telehealth systems; specifically, exploring integration of failure logic modeling techniques with model checking and their application on process, as well as architectural, models.

  • ATESST2 (2009-2011), EU FP7 project on dependable design of co-operative automotive systems. Key contributions included input into the error model of the EAST-ADL modelling language, concepts for automatic optimisation for dependability, cost, and performance using genetic algorithms, and multi-perspective safety analysis across a number of modelling layers. Partners included Mecel, Volvo, Fiat, Continental, CEA (France), Royal Institute of Technology (Sweden), Technical University of Berlin (Germany), and Metacase (Finland).

  • SAFEDOR (2005-2008), EU Integrated FP6 project on model-based safety processes in the maritime industries, one of the largest ever EU projects on safety, bringing together 53 partners. Key contributions included the development of interfaces with major modelling packages and the creation of new algorithms for synthesis and analysis of safety models. Collaborators in this project included Germanischer Lloyd (Germany), DNV (Norway) and ITI Software (Germany).

  • ASA (2007) Automated Safety Analysis Tool, project funded by Yorkshire Forward. The project developed scalable solutions that completed earlier research and paved the way for the subsequent commercialisation of safety analysis tools.

  • OPAL (2003-2005) Optimal Allocation, project funded by Volvo looking at techniques for dependability analysis and optimisation of embedded system models.

Professional highlights

  • Co-chair at IMBSA'17, the fifth International Symposium on Model-Based Safety Assessment, Trento, Italy, September 2017

  • Lecturer at the Dutch DISC Summer School 2017 on 'A Systems and Control Perspective on Privacy, Safety, and Security in large-scale Cyber-Physical Systems', July, 2017

  • Invited speaker on 'Darwin, Penguins, and ISO 26262', Automotive System Safety Europe, Berlin, November 28-30, 2016

  • Invited expert speaker and panellist, Annual Advanced Automotive Diagnostics Summit, Stuttgart, Germany, February 18-19, 2016

  • Keynote speaker, 7th International IEEE Conference on Intelligent Computing and Information Systems, Cairo, Egypt, December 12-14, 2015

  • Organiser of special track and chairing of sessions on Discrete Event Dependability and Diagnosis, and Dependability and Risk Assessment, IFAC SAFEPROCESS Symposium, Paris, France, September 2-4, 2015

  • Invited speaker, 4th VECTOR Functional Safety Conference, Birmingham, June 11, 2015

  • Plenary speaker, and organiser/chair of special track, IFAC-DCDS 2015, Cancun Mexico, May 27, 2015

  • Publicity chair, ICISCE 2014, 4th International Conference on Information Science and Control Engineering, December 26-28, Shanghai, China, 2014