Skip to main content

Research Repository

Advanced Search

All Outputs (18)

Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance (2023)
Presentation / Conference Contribution
Walker, C., Rothon, C., Aslansefat, K., Papadopoulos, Y., & Dethlefs, N. (2024, February). Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance. Presented at Safety Critical Systems Symposium SSS'24, Bristol, UK

It has been forecasted that a quarter of the world's energy usage will be supplied from Offshore Wind (OSW) by 2050 (Smith 2023). Given that up to one third of Levelised Cost of Energy (LCOE) arises from Operations and Maintenance (O&M), the motive f... Read More about Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance.

Addressing Complexity and Intelligence in Systems Dependability Evaluation (2023)
Thesis
Aslansefat, K. (2023). Addressing Complexity and Intelligence in Systems Dependability Evaluation. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4500562

Engineering and computing systems are increasingly complex, intelligent, and open adaptive. When it comes to the dependability evaluation of such systems, there are certain challenges posed by the characteristics of “complexity” and “intelligence”. T... Read More about Addressing Complexity and Intelligence in Systems Dependability Evaluation.

Safety Analysis Concept and Methodology for EDDI development (Initial Version) (2023)
Report
Aslansefat, K., Gerasimou, S., Michalodimi-trakis, E., Papoutsakis, M., Reich, J., Sorokos, I., Walker, M., & Papadopoulos, Y. (2023). Safety Analysis Concept and Methodology for EDDI development (Initial Version). European Comission

Executive Summary:
This deliverable describes the proposed safety analysis concept and accompanying methodology to be defined in the SESAME project. Three overarching challenges to the development of safe and secure multi-robot systems are identifie... Read More about Safety Analysis Concept and Methodology for EDDI development (Initial Version).

Safety-Security Co-Engineering Framework (2023)
Report
Aslansefat, K., Gerasimou, S., Hamibi, H., Matragkas, N., Michalodimitrakis, E., Papadopoulos, Y., Papoutsakis, M., & Walker, M. (2023). Safety-Security Co-Engineering Framework. European Commission

Executive Summary:
The advantages of a model-based approach for safety have been clear for many years now. However, security analysis is typically less formal and more ad-hoc; it may involve systematic processes but these are not generally tied into... Read More about Safety-Security Co-Engineering Framework.

Explaining black boxes with a SMILE: Statistical Model-agnostic Interpretability with Local Explanations (2023)
Journal Article
Aslansefat, K., Hashemian, M., Walker, M., Akram, M. N., Sorokos, I., & Papadopoulos, Y. (2023). Explaining black boxes with a SMILE: Statistical Model-agnostic Interpretability with Local Explanations. IEEE Software, https://doi.org/10.1109/MS.2023.3321282

Machine learning is currently undergoing an explosion in capability, popularity, and sophistication. However, one of the major barriers to widespread acceptance of machine learning (ML) is trustworthiness: most ML models operate as black boxes, their... Read More about Explaining black boxes with a SMILE: Statistical Model-agnostic Interpretability with Local Explanations.

A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms (2022)
Journal Article
Walker, C., Rothon, C., Aslansefat, K., Papadopoulos, Y., & Dethlefs, N. (2022). A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms. Lecture notes in computer science, 13525 LNCS, 189-203. https://doi.org/10.1007/978-3-031-15842-1_14

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 monit... Read More about A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms.

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. (2021). Towards Improving Confidence in Autonomous Vehicle Software: A Study on Traffic Sign Recognition Systems. Computer, 54(8), 66-76

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.

Hourly performance forecast of a dew point cooler using explainable Artificial Intelligence and evolutionary optimisations by 2050 (2020)
Journal Article
Golizadeh Akhlaghi, Y., Aslansefat, K., Zhao, X., Sadati, S., Badiei, A., Xiao, X., Shittu, S., Fan, Y., & Ma, X. (2021). Hourly performance forecast of a dew point cooler using explainable Artificial Intelligence and evolutionary optimisations by 2050. Applied energy, 281, Article 116062. https://doi.org/10.1016/j.apenergy.2020.116062

The empirical success of the Artificial Intelligence (AI), has enhanced importance of the transparency in black box Machine Learning (ML) models. This study pioneers in developing an explainable and interpretable Deep Neural Network (DNN) model for a... Read More about Hourly performance forecast of a dew point cooler using explainable Artificial Intelligence and evolutionary optimisations by 2050.

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures (2020)
Presentation / Conference Contribution
Aslansefat, K., Sorokos, I., Whiting, D., Tavakoli Kolagari, R., & Papadopoulos, Y. SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. Presented at IMBSA: International Symposium on Model-Based Safety and Assessment, Lisbon

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.

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 constraint multi-objective evolutionary optimization of a state-of-the-art dew point cooler using digital twins (2020)
Journal Article
Golizadeh Akhlaghi, Y., Badiei, A., Zhao, X., Aslansefat, K., Xiao, X., Shittu, S., & Ma, X. (2020). A constraint multi-objective evolutionary optimization of a state-of-the-art dew point cooler using digital twins. Energy Conversion and Management, 211, Article 112772. https://doi.org/10.1016/j.enconman.2020.112772

This study is pioneered in developing digital twins using Feed-forward Neural Network (FFNN) and multi objective evolutionary optimization (MOEO) using Genetic Algorithm (GA) for a counter-flow Dew Point Cooler with a novel Guideless Irregular Heat a... Read More about A constraint multi-objective evolutionary optimization of a state-of-the-art dew point cooler using digital twins.

Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings (2019)
Presentation / Conference Contribution
(2019, October). Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings. Presented at 6th International Symposium, IMBSA: International Symposium on Model-Based Safety and Assessment, Thessaloniki, Greece

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 fr... Read More about Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings.

A conceptual framework to incorporate complex basic events in HiP-HOPS (2019)
Book Chapter
Kabir, S., Aslansefat, K., Sorokos, I., Papadopoulos, Y., & Gheraibia, Y. (2019). A conceptual framework to incorporate complex basic events in HiP-HOPS. In Y. Papadopoulos, K. Aslansefat, P. Katsaros, & M. Bozzano (Eds.), Model-Based Safety and Assessment. IMBSA 2019 (109-124). Springer Verlag. https://doi.org/10.1007/978-3-030-32872-6_8

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-HOP... Read More about A conceptual framework to incorporate complex basic events in HiP-HOPS.

A runtime safety analysis concept for open adaptive systems (2019)
Presentation / Conference Contribution
Kabir, S., Sorokos, I., Aslansefat, K., Papadopoulos, Y., Gheraibia, Y., Reich, J., Saimler, M., & Wei, R. A runtime safety analysis concept for open adaptive systems. Presented at Model-Based Safety and Assessment (IMBSA 2019), Thessaloniki, Greece

© 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.

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.

Performance evaluation and design for variable threshold alarm systems through semi-Markov process (2019)
Journal Article
Aslansefat, K., Bahar Gogani, M., Kabir, S., Shoorehdeli, M. A., & Yari, M. (in press). Performance evaluation and design for variable threshold alarm systems through semi-Markov process. ISA Transactions, https://doi.org/10.1016/j.isatra.2019.08.015

In large industrial systems, alarm management is one of the most important issues to improve the safety and efficiency of systems in practice. Operators of such systems often have to deal with a numerous number of simultaneous alarms. Different kinds... Read More about Performance evaluation and design for variable threshold alarm systems through semi-Markov process.

A Hierarchical Approach for Dynamic Fault Trees Solution Through Semi-Markov Process (2019)
Journal Article
Aslansefat, K., & Latif-Shabgahi, G.-R. (2020). A Hierarchical Approach for Dynamic Fault Trees Solution Through Semi-Markov Process. IEEE Transactions on Reliability, 69(3), 986-1003. https://doi.org/10.1109/tr.2019.2923893

Dynamic fault tree (DFT) is a top-down deductive technique extended to model systems with complex failure behaviors and interactions. In two last decades, different methods have been applied to improve its capabilities, such as computational complexi... Read More about A Hierarchical Approach for Dynamic Fault Trees Solution Through Semi-Markov Process.

Resilience Supported System for Innovative Water Monitoring Technology (2018)
Book Chapter
Aslansefat, K., Ghodsirad, M. H., Barata, J., & Jassbi, J. (2018). Resilience Supported System for Innovative Water Monitoring Technology. In L. M. Camarinha-Matos, K. O. Adu-Kankam, & M. Julashokri (Eds.), Technological Innovation for Resilient Systems (73-80). Springer. https://doi.org/10.1007/978-3-319-78574-5_7

The level of intelligence in monitoring & controlling systems are increasing dramatically. The critical issue for an autonomous resilient system is detecting the anomalous behavior through standard patterns to react properly and on time. In cyber-phy... Read More about Resilience Supported System for Innovative Water Monitoring Technology.