H2020 - ICT - DEIS

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.

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.

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

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.

DEIS: Dependability Engineering Innovation for Industrial CPS (2017)
Book Chapter
Armengaud, E., Macher, G., Massoner, A., Frager, S., Adler, R., Schneider, D., Longo, S., Melis, M., Groppo, R., Villa, F., O’Leary, P., Bambury, K., Finnegan, A., Zeller, M., Höfig, K., Papadopoulos, Y., Hawkins, R., & Kelly, T. (2018). DEIS: Dependability Engineering Innovation for Industrial CPS. In C. Zachäus, B. Müller, & G. Meyer (Eds.), Advanced Microsystems for Automotive Applications 2017 : Smart Systems Transforming the Automobile (151-163). Springer. https://doi.org/10.1007/978-3-319-66972-4_13

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 Hor... Read More about DEIS: Dependability Engineering Innovation for Industrial CPS.

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.