Skip to main content

Research Repository

Advanced Search

All Outputs (52)

Towards Improving Confidence in Autonomous Vehicle Software: A Study on Traffic Sign Recognition Systems (2021)
Journal Article
Aslansefat, K., Kabir, S., Abdullatif, A., Vasudevan Nair, V., & Papadopoulos, Y. (in press). Towards Improving Confidence in Autonomous Vehicle Software: A Study on Traffic Sign Recognition Systems. Computer,

The application of artificial intelligence (AI) and data-driven decision-making systems in autonomous vehicles is growing rapidly. As autonomous vehicles operate in dynamic environments, the risk that they can face an unknown observation is relativel... Read More about Towards Improving Confidence in Autonomous Vehicle Software: A Study on Traffic Sign Recognition Systems.

Computational Intelligence for Safety Assurance of Cooperative Systems of Systems (2020)
Journal Article
Kabir, S., & Papadopoulos, Y. (2020). Computational Intelligence for Safety Assurance of Cooperative Systems of Systems. Computer, 53(12), 24-34. https://doi.org/10.1109/MC.2020.3014604

Cooperative systems of systems (CSoSs) form a new technological frontier for their enormous economic and societal potentials in various domains. This article presents a novel framework for dynamic safety assurance of CSoSs that integrates design time... Read More about Computational Intelligence for Safety Assurance of Cooperative Systems of Systems.

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures (2020)
Journal Article
Aslansefat, K., Sorokos, I., Whiting, D., Tavakoli Kolagari, R., & Papadopoulos, Y. (2020). SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. Lecture notes in computer science, 12297, 197-211. https://doi.org/10.1007/978-3-030-58920-2_13

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... Read More about SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures.

Failure Mode Reasoning in Model Based Safety Analysis (2020)
Journal Article
Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. (2020). Failure Mode Reasoning in Model Based Safety Analysis. Lecture notes in computer science, 12297 LNCS, 130-145. https://doi.org/10.1007/978-3-030-58920-2_9

© 2020, Springer Nature Switzerland AG. 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... Read More about Failure Mode Reasoning in Model Based Safety Analysis.

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems (2020)
Journal Article
Bressan, L., de Oliveira, A. L., Campos, F., Papadopoulos, Y., & Parker, D. (2020). An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Lecture notes in computer science, 12297 LNCS, 179-193. https://doi.org/10.1007/978-3-030-58920-2_12

© 2020, Springer Nature Switzerland AG. 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.... Read More about An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems.

A Hybrid Modular Approach for Dynamic Fault Tree Analysis (2020)
Journal Article
Kabir, S., Aslansefat, K., Sorokos, I., Papadopoulos, Y., & Konur, S. (2020). A Hybrid Modular Approach for Dynamic Fault Tree Analysis. IEEE Access, 8, 97175-97188. https://doi.org/10.1109/ACCESS.2020.2996643

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 a... Read More about A Hybrid Modular Approach for Dynamic Fault Tree Analysis.

A runtime safety analysis concept for open adaptive systems (2019)
Journal Article
Kabir, S., Sorokos, I., Aslansefat, K., Papadopoulos, Y., Gheraibia, Y., Reich, J., …Wei, R. (2019). A runtime safety analysis concept for open adaptive systems. Lecture notes in computer science, 11842, 332-346. https://doi.org/10.1007/978-3-030-32872-6_22

© Springer Nature Switzerland AG 2019. 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 architectu... Read More about A runtime safety analysis concept for open adaptive systems.

Dynamic reliability assessment of flare systems by combining fault tree analysis and Bayesian networks (2019)
Journal Article
Kabir, S., Taleb-Berrouane, M., & Papadopoulos, Y. (in press). Dynamic reliability assessment of flare systems by combining fault tree analysis and Bayesian networks. Energy Sources, Part A, https://doi.org/10.1080/15567036.2019.1670287

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 tox... Read More about Dynamic reliability assessment of flare systems by combining fault tree analysis and Bayesian networks.

Safety + AI: A novel approach to update safety models using artificial intelligence (2019)
Journal Article
Gheraibia, Y., Kabir, S., Aslansefat, K., Sorokos, I., & Papadopoulos, Y. (2019). Safety + AI: A novel approach to update safety models using artificial intelligence. IEEE Access, 7, 135855-135869. https://doi.org/10.1109/ACCESS.2019.2941566

Safety-critical systems are becoming larger and more complex to obtain a higher level of functionality. Hence, modeling and evaluation of these systems can be a difficult and error-prone task. Among existing safety models, Fault Tree Analysis (FTA) i... Read More about Safety + AI: A novel approach to update safety models using artificial intelligence.

Variability management in safety-critical systems design and dependability analysis (2019)
Journal Article
de Oliveira, A. L., Braga, R., Masiero, P., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (2019). Variability management in safety-critical systems design and dependability analysis. Journal of software : evolution and process, 31(8), Article e2202. https://doi.org/10.1002/smr.2202

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) hav... Read More about Variability management in safety-critical systems design and dependability analysis.

Model transformation for analyzing dependability of AADL model by using HiP-HOPS (2019)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., & Mahmud, N. (2019). Model transformation for analyzing dependability of AADL model by using HiP-HOPS. Journal of Systems and Software, 151, 258-282. https://doi.org/10.1016/j.jss.2019.02.019

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 a... Read More about Model transformation for analyzing dependability of AADL model by using HiP-HOPS.

Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review (2019)
Journal Article
Kabir, S., & Papadopoulos, Y. (2019). Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review. Safety science, 115, 154-175. https://doi.org/10.1016/j.ssci.2019.02.009

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... Read More about Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review.

Explicit Modelling and Treatment of Repair in Prediction of Dependability (2018)
Journal Article
Aizpurua, J. I., Papadopoulos, Y., & Merle, G. (2018). Explicit Modelling and Treatment of Repair in Prediction of Dependability. IEEE Transactions on Dependable and Secure Computing, 17(6), 1147-1162. https://doi.org/10.1109/TDSC.2018.2857810

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-... Read More about Explicit Modelling and Treatment of Repair in Prediction of Dependability.

Uncertainty-aware dynamic reliability analysis framework for complex systems (2018)
Journal Article
Kabir, S., Yazdi, M., Aizpurua, J. I., & Papadopoulos, Y. (2018). Uncertainty-aware dynamic reliability analysis framework for complex systems. IEEE Access, 6, Article ACCESS2843166. https://doi.org/10.1109/ACCESS.2018.2843166

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 be... Read More about Uncertainty-aware dynamic reliability analysis framework for complex systems.

A review of applications of fuzzy sets to safety and reliability engineering (2018)
Journal Article
Kabir, S., & Papadopoulos, Y. (2018). A review of applications of fuzzy sets to safety and reliability engineering. International Journal of Approximate Reasoning, 100, 29-55. https://doi.org/10.1016/j.ijar.2018.05.005

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 limi... Read More about A review of applications of fuzzy sets to safety and reliability engineering.

Timaeus: A digital art studio inspired by antiquity (2018)
Journal Article
Torrao, L., Papadopoulos, Y., & Mckie, D. (2018). Timaeus: A digital art studio inspired by antiquity. Generative art science and technology hard journal,

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 expressio... Read More about Timaeus: A digital art studio inspired by antiquity.

Model-based assessment of energy-efficiency, dependability, and cost-effectiveness of waste heat recovery systems onboard ship (2018)
Journal Article
Lampe, J., Rüde, E., Papadopoulos, Y., & Kabir, S. (2018). Model-based assessment of energy-efficiency, dependability, and cost-effectiveness of waste heat recovery systems onboard ship. Ocean engineering, 157, 234-250. https://doi.org/10.1016/j.oceaneng.2018.03.062

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 maint... Read More about Model-based assessment of energy-efficiency, dependability, and cost-effectiveness of waste heat recovery systems onboard ship.

A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes (2018)
Journal Article
Parker, D., Godof, A., Papadopoulos, Y., & Saintis, L. (2018). A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes. SAE Technical Papers, 2018-April, https://doi.org/10.4271/2018-01-1076

ISO 26262 describes a safety engineering approach in which the safety of a system is considered from the early stages of design through a process of elicitation and allocation of system safety requirements. These are expressed as automotive safety in... Read More about A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes.

Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks (2018)
Journal Article
Papadopoulos, Y., Walker, M., & Kabir, S. (2018). Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks. Safety science, 105, 55-70. https://doi.org/10.1016/j.ssci.2018.02.001

© 2018 Elsevier Ltd 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 diff... Read More about Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks.

A model-based extension to HiP-HOPS for dynamic fault propagation studies (2017)
Journal Article
Kabir, S., Papadopoulos, Y., Walker, M., Parker, D., Aizpurua, J. I., Lampe, J., & Rüde, E. (2017). A model-based extension to HiP-HOPS for dynamic fault propagation studies. Lecture notes in computer science, 10437 LNCS, 163-178. https://doi.org/10.1007/978-3-319-64119-5_11

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 alloc... Read More about A model-based extension to HiP-HOPS for dynamic fault propagation studies.