All Outputs (8)

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.

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.

Model-based dependability analysis : state-of-the-art, challenges and future outlook (2015)
Book Chapter
Sharvia, S., Kabir, S., Walker, M., & Papadopoulos, Y. (2015). Model-based dependability analysis : state-of-the-art, challenges and future outlook. In I. Mistrik, N. Ali, B. Tekinerdogan, R. Soley, & J. Grundy (Eds.), Software Quality Assurance: In Large Scale and Complex Software-intensive Systems (251-278). Elsevier. https://doi.org/10.1016/B978-0-12-802301-3.00012-0

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability technique... Read More about Model-based dependability analysis : state-of-the-art, challenges and future outlook.

Supporting the automated generation of modular product line safety cases (2015)
Book Chapter
de Oliveira, A. L., Braga, R. T., Masiero, P. C., Papadopoulos, Y., Habli, I., & Kelly, T. (2015). Supporting the automated generation of modular product line safety cases. In W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, & J. Kacprzyk (Eds.), . https://doi.org/10.1007/978-3-319-19216-1_30

Abstract The effective reuse of design assets in safety-critical Software Product Lines (SPL) would require the reuse of safety analyses of those assets in the variant contexts of certification of products derived from the SPL. This in turn requires... Read More about Supporting the automated generation of modular product line safety cases.

Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks (2014)
Book Chapter
Kabir, S., Walker, M., & Papadopoulos, Y. (2014). Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. In Model-Based Safety and Assessment; Lecture Notes in Computer Science (96-109). Springer Verlag. https://doi.org/10.1007/978-3-319-12214-4_8

Classical combinatorial fault trees can be used to assess combinations of failures but are unable to capture sequences of faults, which are important in complex dynamic systems. A number of proposed techniques extend fault tree analysis for dynamic s... Read More about Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks.

Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support (2013)
Book Chapter
Al-Qora'n, L., Sharvia, S., Papadopoulos, Y., & Gordon, N. (2013). Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support. In Global Telemedicine and eHealth Updates: Knowledge Resources (527 - 531). International Society for Telemedicine & eHealth

Home Telehealth systems are used to help in the management of chronic conditions by patients themselves. Effective safety analysis tools are needed to ensure reliability and safety of these high risk systems. We hereby explain how Hierarchically-Perf... Read More about Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support.

Integrated application of compositional and behavioural safety analysis (2011)
Book Chapter
Sharvia, S., & Papadopoulos, Y. (2011). Integrated application of compositional and behavioural safety analysis. In W. Zamojski, J. Kacprzyk, J. Mazurkiewicz, J. Sugier, & T. Walkowiak (Eds.), Dependable Computer Systems (179-192). Springer. https://doi.org/10.1007/978-3-642-21393-9_14

The design complexity of modern safety critical systems presents various challenges for its safety assessment process. In recent years, Model-Based Safety Analysis (MBSA) has been proposed to achieve more-robust and effective safety assessment techni... Read More about Integrated application of compositional and behavioural safety analysis.

Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance (2010)
Book Chapter
Parker, D., & Papadopoulos, Y. (2010). Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance. In M. Sarrafzadeh, & P. Petratos (Eds.), Strategic Advantage of Computing Information Systems in Enterprise Management (231 - 245). ATINER

An effective preventive maintenance (PM) policy for components of an engineering system slows down the rate at which component fatigue accumulates, thereby minimising the occurrence of component failure. The benefit of PM at system level is improveme... Read More about Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance.