Yiannis Papadopoulos

Yiannis Papadopoulos
University of Hull · Department of Computer Science

PhD Computer Science - University of York - UK

About

181
Publications
43,584
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
3,276
Citations
Citations since 2016
63 Research Items
1962 Citations
2016201720182019202020212022050100150200250300
2016201720182019202020212022050100150200250300
2016201720182019202020212022050100150200250300
2016201720182019202020212022050100150200250300
Introduction
I am working on developing syntheses of bio-inspired and model-based techniques for automating the dependability analysis of complex systems. An outcome of this has been a method and tool known as HiP-HOPS (www.hip-hops.co.uk). I have also co-authored the EAST-ADL language, and currently developing the concept of Digital Dependability Identities and other ideas for runtime certification of autonomous systems and open systems of systems. More information @ https://yipapadopoulos.wixsite.com/yiap
Additional affiliations
September 2001 - present
University of Hull
Position
  • Professor (Full)
January 1994 - August 2001
The University of York
Position
  • Research Associate

Publications

Publications (181)
Chapter
With an increasing emphasis on driving down the costs of Operations and Maintenance (O &M) in the Offshore Wind (OSW) sector, comes the requirement to explore new methodology and applications of Deep Learning (DL) to the domain. Condition-based monitoring (CBM) has been at the forefront of recent research developing alarm-based systems and data-dri...
Chapter
The use of Unmanned Arial Vehicles (UAVs) offers many advantages across a variety of applications. However, safety assurance is a key barrier to widespread usage, especially given the unpredictable operational and environmental factors experienced by UAVs, which are hard to capture solely at design-time. This paper proposes a new reliability modeli...
Conference Paper
Software Product Lines (SPLs) enable and maximize reuse of software artefacts, using software variability as central technique. In Model-Based Safety Analysis, system and software models are annotated with failure models that are used to produce safety analysis artefacts like fault trees and FMEAs. However, little work has been done to show MBSA in...
Preprint
Full-text available
With an increasing emphasis on driving down the costs of Operations and Maintenance (O$\&$M) in the Offshore Wind (OSW) sector, comes the requirement to explore new methodology and applications of Deep Learning (DL) to the domain. Condition-based monitoring (CBM) has been at the forefront of recent research developing alarm-based systems and data-d...
Preprint
Full-text available
The use of Unmanned Arial Vehicles (UAVs) offers many advantages across a variety of applications. However, safety assurance is a key barrier to widespread usage, especially given the unpredictable operational and environmental factors experienced by UAVs, which are hard to capture solely at design-time. This paper proposes a new reliability modeli...
Article
This article proposes an approach named SafeML II, which applies empirical cumulative distribution function-based statistical distance measures in a designed human-in-theloop procedure to ensure the safety of machine learning-based classifiers in autonomous vehicle software.
Conference Paper
Digital transformation fundamentally changes established practices in public and private sector. Hence, it represents an opportunity to improve the value creation processes (e.g., “industry 4.0”) and to rethink how to address customers' needs such as “data-driven business models” and “Mobility-as-a-Service”. Dependable, collaborative and autonomous...
Preprint
The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotive CPS. This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 732242, see http://www.deis-pro...
Preprint
Full-text available
Cyber-Physical Systems (CPS) provide enormous potential for innovation but a precondition for this is that the issue of dependability has been addressed. This paper presents the concept of a Digital Dependability Identity (DDI) of a component or system as foundation for assuring the dependability of CPS. A DDI is an analyzable and potentially execu...
Article
Full-text available
Flaring has always been an inseparable part of oil production and exploration. Previously, waste gas collected from different parts of facilities was released for safety or operational reasons and combusted on top of a flare stack since there was not the possibility to treat or use this type of gas. Concerns about global warming led to several init...
Article
Cooperative Systems of Systems (CSoS) including Autonomous systems (AS), such as autonomous cars and related smart traffic infrastructures form a new technological frontier for their enormous economic and societal potentials in various domains. CSoS are often safety-critical systems, therefore, they are expected to have a high level of dependabilit...
Conference Paper
Ensuring safety and explainability of machine learning (ML) is a topic of increasing relevance as data-driven applications venture into safety-critical application domains, traditionally committed to high safety standards that are not satisfied with an exclusive testing approach of otherwise inaccessible black-box systems. Especially the interactio...
Preprint
Full-text available
Cyber-Physical Systems (CPS) harbor the enormous potential for societal improvement in terms of safety, comfort and economic efficiency. However, these benefits will only be unlocked if the safety of these systems can be assured with a sufficient level of confidence. Traditional safety engineering and assurance approaches alone cannot address the C...
Chapter
Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model-ba...
Chapter
Full-text available
Component-based approaches and software product lines have been adopted by industry to manage the diversity of configurations on safety-critical software. Safety certification demands compliance with standards. ISO 26262 standard uses the concept of Automotive Safety Integrity Level (ASIL) to allocate safety requirements to components of a system u...
Chapter
Full-text available
Cyber-Physical Systems (CPS) harbor the enormous potential for societal improvement in terms of safety, comfort and economic efficiency. However, these benefits will only be unlocked if the safety of these systems can be assured with a sufficient level of confidence. Traditional safety engineering and assurance approaches alone cannot address the C...
Chapter
Full-text available
Safety and reliability are two important aspects of dependability that are needed to be rigorously evaluated throughout the development life-cycle of a system. Over the years, several methodologies have been developed for the analysis of failure behaviour of systems. Fault Tree Analysis (FTA) is one of the well-established and widely used methods f...
Preprint
Full-text available
Ensuring safety and explainability of machine learning (ML) is a topic of increasing relevance as data-driven applications venture into safety-critical application domains, traditionally committed to high safety standards that are not satisfied with an exclusive testing approach of otherwise inaccessible black-box systems. Especially the interactio...
Article
Full-text available
Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion and high computational requirements, compromising their efficacy. Modularisation techniques have been...
Preprint
Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model-ba...
Conference Paper
Full-text available
Ensuring appropriate dependability of modern industrial systems is becoming more and more challenging due to the raising complexity of modern embedded systems and the introduction of connectivity, possibly leading to ad-hoc creation of systems' configuration. State-of-the-art dependability analysis techniques, applied during design phase, provide l...
Data
The aircraft fuel distribution system has two primary functions: storing fuel and distributing fuel to the engines. These functions are provided in refuelling and consumption phases, respectively. During refuelling, the fuel is first loaded in the Central Reservation Tank and then distributed to the Front and Rear Tanks. In the consumption phase, t...
Conference Paper
Full-text available
For over 25 years, Athenian painter Stefanos Zannis has been painting Homer’s Odyssey but with a twist: delving into verses of the original poem who many would find obscure. This ancient poem has always been a quintessential symbol of the journey of life that we all go through, complete with the monsters we face and the longing for a spiritual home...
Chapter
Reliability evaluation for ensuring the uninterrupted system operation is an integral part of dependable system development. Model-based safety analysis (MBSA) techniques such as Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) have made the reliability analysis process less expensive in terms of effort and time required. H...
Chapter
In the automotive industry, modern cyber-physical systems feature cooperation and autonomy. Such systems share information to enable collaborative functions, allowing dynamic component integration and architecture reconfiguration. Given the safety-critical nature of the applications involved, an approach for addressing safety in the context of reco...
Chapter
As Cyber-Physical Systems (CPS) grow increasingly complex and interact with external CPS, system security remains a non-trivial challenge that continues to scale accordingly, with potentially devastating consequences if left unchecked. While there is a significant body of work on system security found in industry practice, manual diagnosis of secur...
Article
Full-text available
Flaring is a combustion process commonly used in the oil and gas industry to dispose flammable waste gases. Flare flameout occurs when these gases escape unburnt from the flare tip causing the discharge of flammable and/or toxic vapor clouds. The toxic gases released during this process have the potential to initiate safety hazards and cause seriou...
Article
Full-text available
Safety-critical systems are becoming larger and more complex to obtain a higher level of functionality. Hence, modelling and evaluation of these systems can be a difficult and error-prone task. Among existing safety models, Fault Tree Analysis (FTA) is one of the well-known methods in terms of easily understandable graphical structure. This study p...
Article
Safety‐critical systems are of paramount importance for many application domains, where safety properties are a key driver to engineer critical aspects and avoid system failures. For the benefits of large‐scale reuse, software product lines (SPL) have been adopted in critical systems industry. However, the integration of safety analysis in the SPL...
Chapter
Full-text available
Socrates thought that the most important question one can ask is 'what is'. The philosophers spent a lot of time in the Athenian marketplace (agora) asking the great and the good of Athens questions such as: 'what is courage', what is virtue 'and' 'what is truth'. The 'what is' question was in the centre of his dialectical method of investigating a...
Article
System safety, reliability and risk analysis are important tasks that are performed throughout the system life-cycle to ensure the dependability of safety-critical systems. Probabilistic risk assessment (PRA) approaches are comprehensive, structured and logical methods widely used for this purpose. PRA approaches include, but not limited to, Fault...
Article
The Architecture Analysis and Design Language (AADL) has emerged as a potential future standard in aerospace, automobile and avionics industries for model-based development of dependability-critical systems. As AADL is relatively new, some existing analysis methods and tools are not able to accept AADL models. In this paper we show that, by using m...
Book
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in Thessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages;...
Conference Paper
Full-text available
Stoicism is a philosophy that considers the object of life to be ataraxia (αταραξία), a state of psychological stability which is undisturbed by exposure to phenomena and circumstances that lie outside one's control. Such circumstances may include ill health, poverty, natural disasters, corrupt social orders, unpopularity, and unrequited love, and...
Preprint
This paper develops Penguin search Optimisation Algorithm (PeSOA), a new metaheuristic algorithm which is inspired by the foraging behaviours of penguins. A population of penguins located in the solution space of the given search and optimisation problem is divided into groups and tasked with finding optimal solutions. The penguins of a group perfo...
Article
Full-text available
In engineering practice, multiple repair actions are considered carefully by designers, and their success or failure defines further control actions and the evolution of the system state. Such treatment is not fully supported by the current state-of-the-art in dependability analysis. We propose a novel approach for explicit modelling and analysis o...
Article
Full-text available
Critical technological systems exhibit complex dynamic characteristics such as time-dependent behaviour, functional dependencies among events, sequencing and priority of causes that may alter the effects of failure. Dynamic fault trees (DFTs) have been used in the past to model the failure logic of such systems, but the quantitative analysis of DFT...
Article
Safety and reliability are rigorously assessed during the design of dependable systems. Probabilistic risk assessment (PRA) processes are comprehensive, structured and logical methods widely used for this purpose. PRA approaches include, but not limited to Fault Tree Analysis (FTA), Failure Mode and Effects Analysis (FMEA), and Event Tree Analysis...
Article
Full-text available
This project was motivated as an exploration of the capabilities provided by new digital media for creativity, art creation and art therapy. In the ancient Greek world, téchnē, the word for art, used to refer to both art and technology. The expression, imagination, creation, aesthetics, beauty, thought and emotions which are integral to “téchnē” “w...
Article
Full-text available
Technological systems are not merely designed with a narrow function in mind. Good designs typically aim at reducing operational costs, e.g. through achieving high energy efficiency and improved dependability (i.e. reliability, availability and maintainability). When there is a choice of alternative design options that perform the same function, it...
Article
Dynamic systems exhibit time-dependent behaviours and complex functional dependencies amongst their components. Therefore, to capture the full system failure behaviour, it is not enough to simply determine the consequences of different combinations of failure events: it is also necessary to understand the order in which they fail. Pandora temporal...
Chapter
The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotive CPS. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 732242, see http://www.deis-pro...
Conference Paper
Full-text available
TIMAEUS is a digital art studio environment that enables creation of personalised 3-dimensional sculptures built with expanding spherical volumes or interconnected tetrahedra and possibly other atomic blocks in the future. These sculptures can be customised with media, e.g, pictures, videos and music which are overlaid or seeded in the sculpture. M...
Conference Paper
HiP-HOPS is a model-based approach for assessing the dependability of safety-critical systems. The method combines models, logic, probabilities and nature-inspired algorithms to provide advanced capabilities for design optimisation, requirement allocation and safety argument generation. To deal with dynamic systems, HiP-HOPS has introduced temporal...
Conference Paper
Full-text available
We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the evidence that supports this structure. The resultant safety case argues that all hazards are adequately addressed through meeting the system safety...
Article
Full-text available
The use of average data for dependability assessments results in a outdated system-level dependability estimation which can lead to incorrect design decisions. With increasing availability of online data, there is room to improve traditional dependability assessment techniques. Namely, prognostics is an emerging field which provides asset-specific...
Article
Full-text available
Condition-based maintenance strategies adapt maintenance planning through the integration of online condition monitoring of assets. The accuracy and cost-effectiveness of these strategies can be improved by integrating prognostics predictions and grouping maintenance actions respectively. In complex industrial systems, however, effective condition-...
Article
Design strategies that benefit from the reuse of system components can reduce costs while maintaining or increasing dependability—we use the term dependability to tie together reliability and availability. D3H2 (aDaptive Dependable Design for systems with Homogeneous and Heterogeneous redundancies) is a methodology that supports the design of compl...
Book
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and...
Chapter
There is increasing agreement that, to achieve high dependability in complex systems, design processes should move in a direction where dependability and other quality attributes are controlled from the early stages rather than left to emerge (or not) at the end. This is clearly a very desirable goal that would greatly benefit several industries, a...
Article
Full-text available
Safety standards guide the development of systems whose operation raises concerns about safety. We focus our attention on the automotive and aerospace standards, ISO 26262 and ARP4754-A respectively. Both standards advocate a process for controlled allocation of safety integrity requirements that starts early in the design and continues as the syst...
Article
The ‘safety case’ documents the safety argument developers of safety-critical systems employ to convince of their systems’ safety, in compliance with safety standard regulation and advice. Despite the considerable body of knowledge that has evolved, constructing and maintaining a safety case remains a significant challenge. Especially for contempor...
Article
Full-text available
EAST-ADL is an Architecture Description Language (ADL) initially defined in several European-funded research projects and aligned with AUTOSAR and ISO26262. It provides a comprehensive approach for defining automotive electronic systems through an information model that captures engineering information in a standardized form. Aspects covered includ...
Article
Fault tree analysis (FTA) is a powerful technique that is widely used for evaluating system safety and reliability. It can be used to assess the effects of combinations of failures on system behaviour but is unable to capture sequence dependent dynamic behaviour. A number of extensions to fault trees have been proposed to overcome this limitation....
Article
Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential...
Article
Full-text available
The use of dedicated components as a means of achieving desirable levels of fault tolerance in a system may result in high costs. A cost effective way of restoring failed functions is to use heterogeneous redundancies: components that, besides performing their primary intended design function, can also restore compatible functions of other componen...
Article
Full-text available
Software Product Lines (SPL) provides an engineering basis for the systematic reuse of artefacts used for development, assessment, and management of critical embedded systems. Hazards and their causes may change according to the selection of variants in a particular SPL product. As such, existing safety analysis assets such as fault trees and FMEA...