University of Hull logo

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). doi:10.1016/j.ssci.2018.02.001. ISSN 0925-7535

© 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

A model-based extension to HiP-HOPS for dynamic fault propagation studies (2017)
Journal Article
Kabir, S., Papadopoulos, Y., Parker, D., Walker, M., 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). doi:10.1007/978-3-319-64119-5_11. ISSN 0302-9743

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

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). doi:10.1016/j.ijar.2016.05.006. ISSN 0888-613X

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

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

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

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. doi: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

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). doi:10.1016/j.ifacol.2015.06.466. ISSN 1474-6670

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

A safety analysis approach to clinical workflows : application and evaluation (2014)
Journal Article
Gordon, N., Kabir, S., Sharvia, S., Walker, M., & Al-Qora’n, L. (in press). A safety analysis approach to clinical workflows : application and evaluation. International Journal of Advanced Computer Science and Applications, 4(3), 82-91. doi:10.14569/SpecialIssue.2014.040310

Clinical workflows are safety critical workflows as they have the potential to cause harm or death to patients. Their safety needs to be considered as early as possible in the development process. Effective safety analysis methods are required to ens... Read More

Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks (2014)
Book Chapter
Kabir, S., Walker, M., & Papadopoulos, Y. (2013). 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. doi: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

An approach to safety analysis of clinical workflows (2014)
Journal Article
Gordon, N., Papadopoulos, Y., Sharvia, S., Walker, M., Al-Qora’n, L., & Al-Qora'n, L. (2014). An approach to safety analysis of clinical workflows. doi:10.30958/ajh.1-3-4

A clinical workflow considers the information and processes that are involved in providing a clinical service. They are safety critical since even minor faults have the potential to propagate and consequently cause harm to a patient, or even for a pa... Read More

Safety analysis of clinical workflows: The case of the workflow within a radiology department (2014)
Conference Proceeding
Gordon, N., Sharvia, S., Walker, M., & Al-Qora'n, L. (2014). Safety analysis of clinical workflows: The case of the workflow within a radiology department. doi:10.1109/sai.2014.6918174

This paper was originally presented at the Science and Information Conference, 2014, 27-29 August, London. Abstract: Radiology Information Systems (RIS) and Picture Archiving and Communication systems (PACS) are used widely to help in the workflow ma... Read More

Exploring the impact of different cost heuristics in the allocation of safety integrity levels (2014)
Journal Article
Araújo, R. E., Azevedo, L. S., Papadopoulos, Y., Parker, D., Sorokos, I., Walker, M., & Araújo, R. E. (2014). Exploring the impact of different cost heuristics in the allocation of safety integrity levels. Lecture notes in computer science, 8822, 70-81. doi:10.1007/978-3-319-12214-4_6

Contemporary safety standards prescribe processes in which system safety requirements, captured early and expressed in the form of Safety Integrity Levels (SILs), are iteratively allocated to architectural elements. Different SILs reflect different r... Read More

Quantification of temporal fault trees based on fuzzy set theory (2014)
Journal Article
Gordon, N., Kabir, S., Walker, M., & Edifor, E. (2014). Quantification of temporal fault trees based on fuzzy set theory. Advances in Intelligent Systems and Computing, 286, (255-264). doi:10.1007/978-3-319-07013-1_24. ISSN 2194-5357

© Springer International Publishing Switzerland 2014. Fault tree analysis (FTA) has been modified in different ways to make it capable of performing quantitative and qualitative safety analysis with temporal gates, thereby overcoming its limitation i... Read More

Automatic optimisation of system architectures using EAST-ADL (2013)
Journal Article
Papadopoulos, Y., Parker, D., Walker, M., Chen, D., Lönn, H., Mraidha, C., …Tucci-Piergiovanni, S. (2013). Automatic optimisation of system architectures using EAST-ADL. Journal of Systems and Software, 86(10), (2467-2487). doi:10.1016/j.jss.2013.04.001. ISSN 0164-1212

There are many challenges which face designers of complex system architectures, particularly safety-critical or real-time systems. The introduction of Architecture Description Languages (ADLs) has helped to meet these challenges by consolidating info... Read More

Assisted assignment of automotive safety requirements (2013)
Journal Article
Azevedo, L. D. S., Parker, D., Walker, M., Papadopoulos, Y., & Araújo, R. E. (2014). Assisted assignment of automotive safety requirements. IEEE Software, 31(1), (62-68). doi:10.1109/ms.2013.118. ISSN 0740-7459

ISO 26262, a functional-safety standard, uses Automotive Safety Integrity Levels (ASILs) to assign safety requirements to automotive-system elements. System designers initially assign ASILs to system-level hazards and then allocate them to elements o... Read More

Quantification of Simultaneous-AND Gates in Temporal Fault Trees (2013)
Journal Article
Gordon, N., Walker, M., & Edifor, E. (2013). Quantification of Simultaneous-AND Gates in Temporal Fault Trees. Advances in Intelligent Systems and Computing, 224, (141-151). doi:10.1007/978-3-319-00945-2_13. ISSN 2194-5357

Fault Tree Analysis has been a cornerstone of safety-critical systems for many years. It has seen various extensions to enable it to analyse dynamic behaviours exhibited by modern systems with redundant components. However, none of these extended FTA... Read More

Quantification of priority-OR gates in temporal fault trees (2012)
Journal Article
Gordon, N., Walker, M., & Edifor, E. (2012). Quantification of priority-OR gates in temporal fault trees. Lecture notes in computer science, 7612 LNCS, 99-110. doi:10.1007/978-3-642-33678-2_9

Fault Tree Analysis has been used in reliability engineering for many decades and has seen various modifications to enable it to analyse fault trees with dynamic and temporal gates so it can incorporate sequential failure in its analysis. Pandora is... Read More

Compositional synthesis of temporal fault trees from state machines (2012)
Journal Article
Papadopoulos, Y., Walker, M., & Mahmud, N. (2012). Compositional synthesis of temporal fault trees from state machines. Performance Evaluation Review, 39(4), (79-88). doi:10.1145/2185395.2185444. ISSN 0163-5999

Dependability analysis of a dynamic system which is embedded with several complex interrelated components raises two main problems. First, it is difficult to represent in a single coherent and complete picture how the system and its constituent parts... Read More

Integrated safety and architecture modeling for automotive embedded systems (2011)
Journal Article
Chen, D., Johansson, R., Lönn, H., Blom, H., Walker, M., Papadopoulos, Y., …Sandberg, A. (2011). Integrated safety and architecture modeling for automotive embedded systems. Elektrotechnik und Informationstechnik : E & I, 128(6), (196-202). doi:10.1007/s00502-011-0007-7. ISSN 0932-383X

EAST-ADL is an architecture description language (ADL) for model-based development of automotive embedded systems. The formalization of domain-specific engineering information and methodology brings a potential for a wide range of benefits for inform... Read More