Outputs (84)

Engineering failure analysis and design optimisation with HiP-HOPS (2010)
Journal Article
Papadopoulos, Y., Walker, M., Parker, D., Rüde, E., Hamann, R., Uhlig, A., Grätz, U., & Lien, R. (2011). Engineering failure analysis and design optimisation with HiP-HOPS. Engineering Failure Analysis, 18(2), 590-608. https://doi.org/10.1016/j.engfailanal.2010.09.025

The scale and complexity of computer-based safety critical systems, like those used in the transport and manufacturing industries, pose significant challenges for failure analysis. Over the last decade, research has focused on automating this task. I... Read More about Engineering failure analysis and design optimisation with HiP-HOPS.

A translation of state machines to temporal fault trees (2010)
Presentation / Conference Contribution
Papadopoulos, Y., Mahmud, N., & Walker, M. (2010, June). A translation of state machines to temporal fault trees. Presented at 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W)

State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour of safety-critical systems. In dependability analysis, SMs are translated to other models, such as Generalized Stochastic Petri Nets (GSPNs) or c... Read More about A translation of state machines to temporal fault trees.

Specification and use of component failure patterns (2010)
Thesis
Wolforth, I. P. Specification and use of component failure patterns. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4211022

Safety-critical systems are typically assessed for their adherence to specified safety properties. They are studied down to the component-level to identify root causes of any hazardous failures. Most recent work with model-based safety analysis has f... Read More about Specification and use of component failure patterns.

Generalizable safety annotations for specification of failure patterns (2010)
Journal Article
Papadopoulos, Y., Walker, M., Grunske, L., & Wolforth, I. (2010). Generalizable safety annotations for specification of failure patterns. Software: Practice and Experience, 40(5), 453-483. https://doi.org/10.1002/spe.966

Components in programmable systems often exhibit patterns of failure that are independent of function or system context. In this paper, we show that it is possible to capture, and reuse where appropriate, such patterns for the purposes of system safe... Read More about Generalizable safety annotations for specification of failure patterns.

Multi-objective optimisation of safety-critical hierarchical systems (2010)
Thesis
Parker, D. (. J. Multi-objective optimisation of safety-critical hierarchical systems. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4209821

Achieving high reliability, particularly in safety critical systems, is an important and often mandatory requirement. At the same time costs should be kept as low as possible. Finding an optimum balance between maximising a system's reliability and m... Read More about Multi-objective optimisation of safety-critical hierarchical systems.

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.

Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook (2009)
Journal Article
Papadopoulos, Y., & Walker, M. (2009). Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control engineering practice, 17(10), 1115-1125. https://doi.org/10.1016/j.conengprac.2008.10.003

The Fault tree handbook has become the de facto standard for fault tree analysis (FTA), defining the notation and mathematical foundation of this widely used safety analysis technique. The Handbook recognises that classical combinatorial fault trees... Read More about Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook.

Pandora : a logic for the qualitative analysis of temporal fault trees (2009)
Thesis
Walker, M. (. D. Pandora : a logic for the qualitative analysis of temporal fault trees. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4209344

Fault Tree Analysis (FTA) is a valuable systems analysis technique widely used in safety analysis and reliability engineering, but it is not without its faults; in particular, it struggles to analyse systems in which time plays an important role, bec... Read More about Pandora : a logic for the qualitative analysis of temporal fault trees.

Semi-automatic FMEA supporting complex systems with combinations and sequences of failures (2009)
Journal Article
Walker, M., Papadopoulos, Y., Parker, D., Lönn, H., Törngren, M., Chen, D., Johannson, R., & Sandberg, A. (2009). Semi-automatic FMEA supporting complex systems with combinations and sequences of failures. SAE International Journal of Passenger Cars - Mechanical Systems, 2(1), 791-802. https://doi.org/10.4271/2009-01-0738

Failure Modes and Effects Analysis (FMEA) is a well established safety analysis technique used for the assessment of safety critical engineering systems in the automotive industry. Although FMEA has been shown to be useful, the analysis is typically... Read More about Semi-automatic FMEA supporting complex systems with combinations and sequences of failures.

Semi automatic failure analysis based on simulation models (2008)
Presentation / Conference Contribution
Hamann, R., Uhlig, A., Papadopoulos, Y., Rüde, E., Grätz, U., Walker, M., & Lien, R. (2018, June). Semi automatic failure analysis based on simulation models. Presented at Volume 2: Structures, Safety and Reliability

Classical risk assessment and risk management which is gaining importance in many industries is usually based on well defined processes and uses techniques like FTA and FMEA. However, classical risk analysis techniques like FTA and FMEA should ideall... Read More about Semi automatic failure analysis based on simulation models.