Skip to main content

Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets (2015)
Journal Article
Kabir, S., Papadopoulos, Y., & Walker, M. (2015). Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets. IFAC postprint volumes IPPV / International Federation of Automatic Control, 48(21), 458-463. https://doi.org/10.1016/j.ifacol.2015.09.569

© 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved. Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unab... Read More about Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets.

Automatic allocation of safety requirements to components of a software product line (2015)
Journal Article
De Oliveira, A. L., Papadopoulos, Y., Azevedo, L. S., Parker, D., Braga, R. T., Masiero, P. C., …Kelly, T. (2015). Automatic allocation of safety requirements to components of a software product line. IFAC postprint volumes IPPV / International Federation of Automatic Control, 48(21), 1309-1314. https://doi.org/10.1016/j.ifacol.2015.09.706

Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to components of a system under des... Read More about Automatic allocation of safety requirements to components of a software product line.

Automating allocation of development assurance levels: An extension to HiP-HOPS (2015)
Journal Article
Sorokos, I., Papadopoulos, Y., Azevedo, L., Parker, D., & Walker, M. (2015). Automating allocation of development assurance levels: An extension to HiP-HOPS. IFAC postprint volumes IPPV / International Federation of Automatic Control, 48(7), 9-14. https://doi.org/10.1016/j.ifacol.2015.06.466

Controlling the allocation of safety requirements across a system's architecture from the early stages of development is an aspiration embodied in numerous major safety standards. Manual approaches of applying this process in practice are ineffective... Read More about Automating allocation of development assurance levels: An extension to HiP-HOPS.

A synthesis of logic and biology in the design of dependable systems (2015)
Journal Article
Papadopoulos, Y. (2015). A synthesis of logic and biology in the design of dependable systems. IFAC postprint volumes IPPV / International Federation of Automatic Control, 28(7), 1-8. https://doi.org/10.1016/j.ifacol.2015.06.465

The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in f... Read More about A synthesis of logic and biology in the design of dependable systems.

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.), Advances in Intelligent Systems and Computing; Theory and Engineering of Complex Systems and Dependability, 319-330. Springer Verlag. doi: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.

Model-based dependability analysis : state-of-the-art, challenges and future outlook (2015)
Book Chapter
Kabir, S., Papadopoulos, Y., Sharvia, S., & Walker, M. (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.