文档介绍：Engineering failure analysis
Abstract
The scale plexity puter-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. In one approach, predictive models of system failure are constructed from the topology of the system and ponent failure models using a process position. An alternative approach employs model-checking of state automata to study the effects of failure and verify system safety properties. In this paper, we discuss these two approaches to failure analysis. We then focus on Hierarchically Performed Hazard Origin & Propagation Studies (HiP-HOPS) – one of the more positional approaches – and discuss its capabilities for automatic synthesis of fault trees, combinatorial Failure Modes and Effects Analyses, and reliability versus cost optimisation of systems via application of automatic model summarise these contributions and demonstrate the application of HiP-HOPS on a simplified fuel oil system for a ship engine. In light of this example, we discuss strengths and limitations of the method in relation to other state-of-the-art techniques. In particular,because HiP-HOPS is deductive in nature, relating system failures back to their causes, it is less prone binatorial explosion and can more readily be iterated. For this reason, it enables exhaustive assessment binations of failures and design optimisation putationally expensive meta-heuristics.
1. Introduction
plexity in the design of modern engineering systems challenges the applicability of rule-based design and
classical safety and reliability analysis techniques. As new technologies plex failure modes, classical manual
analysis of systems es increasingly difficult and error address these difficulties, we have developed puterised tool called ‘HiP-HOPS’(Hierarchically Performed Hazard Origin & Propagation Studies) that