Outputs (84)

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

Failure Mode Reasoning in Model Based Safety Analysis (2020)
Presentation / Conference Contribution
Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. Failure Mode Reasoning in Model Based Safety Analysis. Presented at International Symposium on Model-Based Safety and Assessment, Lisbon, Portugal

© 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)
Presentation / Conference Contribution
Bressan, L., de Oliveira, A. L., Campos, F., Papadopoulos, Y., & Parker, D. An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Presented at Model-Based Safety and Assessment 7th International Symposium, IMBSA 2020, Lisbon, Portugal

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

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

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.

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.

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.