Skip to main content

Research Repository

Advanced Search

All Outputs (84)

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.

Infinite Virtual Stoa (2018)
Presentation / Conference Contribution
Torrao, L., Papadopoulos, Y., & Mckie, D. (2018, December). Infinite Virtual Stoa. Presented at GA2018, XXI Annual International Conference, Verona, Italy

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 il... Read More about Infinite Virtual Stoa.

TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures (2018)
Presentation / Conference Contribution
Torrao, L., Mckie, D., & Papadopoulos, Y. (2017, December). TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures. Presented at 20th Generative Art Conference

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 cus... Read More about TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures.

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.

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)
Presentation / Conference Contribution
Parker, D., Godof, A., Papadopoulos, Y., & Saintis, L. (2018, April). A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes. Presented at SAE Technical Papers

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.

DEIS: Dependability Engineering Innovation for Industrial CPS (2017)
Book Chapter
Armengaud, E., Macher, G., Massoner, A., Frager, S., Adler, R., Schneider, D., …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). Cham: 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.

Model-connected safety cases (2017)
Presentation / Conference Contribution
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. Model-connected safety cases

© 2017, Springer International Publishing AG. 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 ev... Read More about Model-connected safety cases.

Improved dynamic dependability assessment through integration with prognostics (2017)
Journal Article
Aizpurua, J. I., Catterson, V. M., Papadopoulos, Y., Chiacchio, F., & Manno, G. (2017). Improved dynamic dependability assessment through integration with prognostics. IEEE Transactions on Reliability, 66(3), 893-913. https://doi.org/10.1109/tr.2017.2693821

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 dependab... Read More about Improved dynamic dependability assessment through integration with prognostics.

Supporting group maintenance through prognostics-enhanced dynamic dependability prediction (2017)
Journal Article
Papadopoulos, Y., Aizpurua, J. I., Catterson, V. M., Chiacchio, F., D'Urso, D., Papadopoulos, Y., Aizpurua, J. I., Catterson, V., Chiacchio, F., & D'Urso, D. (2017). Supporting group maintenance through prognostics-enhanced dynamic dependability prediction. Reliability Engineering and System Safety, 168, 171-188. https://doi.org/10.1016/j.ress.2017.04.005

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 gro... Read More about Supporting group maintenance through prognostics-enhanced dynamic dependability prediction.

On cost-effective reuse of components in the design of complex reconfigurable systems (2017)
Journal Article
Aizpurua, J. I., Papadopoulos, Y., Muxika, E., Chiacchio, F., & Manno, G. (2017). On cost-effective reuse of components in the design of complex reconfigurable systems. Quality and Reliability Engineering International, 33(7), 1387-1406. https://doi.org/10.1002/qre.2112

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... Read More about On cost-effective reuse of components in the design of complex reconfigurable systems.

Fuzzy temporal fault tree analysis of dynamic systems (2016)
Journal Article
Kabir, S., Papadopoulos, Y., Walker, M., Rüde, E., & Securius, P. (2016). Fuzzy temporal fault tree analysis of dynamic systems. International Journal of Approximate Reasoning, 77, 20-37. https://doi.org/10.1016/j.ijar.2016.05.006

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 dynam... Read More about Fuzzy temporal fault tree analysis of dynamic systems.

A synthesis of logic and bio-inspired techniques in the design of dependable systems (2016)
Journal Article
Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., Azevedo, L., & Sorokos, I. (2016). A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control, 41, 170-182. https://doi.org/10.1016/j.arcontrol.2016.04.008

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 forecast... Read More about A synthesis of logic and bio-inspired techniques in the design of dependable systems.

Application of the D3H2 methodology for the cost-effective design of dependable systems (2016)
Journal Article
Aizpurua, J. I., Muxika, E., Papadopoulos, Y., Chiacchio, F., & Manno, G. (2016). Application of the D3H2 methodology for the cost-effective design of dependable systems. Safety, 2(2), Article 9. https://doi.org/10.3390/safety2020009

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 perfor... Read More about Application of the D3H2 methodology for the cost-effective design of dependable systems.