Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
Engineering failure analysis and design optimisation with HiP-HOPS
Papadopoulos, Yiannis; Walker, Martin; Parker, David; Rüde, Erich; Hamann, Rainer; Uhlig, Andreas; Grätz, Uwe; Lien, Rune
Authors
Martin Walker
Dr David Parker D.J.Parker@hull.ac.uk
Lecturer
Erich Rüde
Rainer Hamann
Andreas Uhlig
Uwe Grätz
Rune Lien
Abstract
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. In one approach, predictive models of system failure are constructed from the topology of the system and local component failure models using a process of composition. 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 advanced compositional 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 transformations. We 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 to combinatorial explosion and can more readily be iterated. For this reason, it enables exhaustive assessment of combinations of failures and design optimisation using computationally expensive meta-heuristics. (C) 2010 Elsevier Ltd. All rights reserved.
Citation
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
Acceptance Date | Feb 1, 2010 |
---|---|
Online Publication Date | Oct 2, 2010 |
Publication Date | 2011-03 |
Deposit Date | Nov 13, 2014 |
Publicly Available Date | Nov 13, 2014 |
Journal | Engineering failure analysis |
Print ISSN | 1350-6307 |
Publisher | Elsevier |
Peer Reviewed | Peer Reviewed |
Volume | 18 |
Issue | 2 |
Pages | 590-608 |
DOI | https://doi.org/10.1016/j.engfailanal.2010.09.025 |
Keywords | Failure analysis; Hazards; Safety |
Public URL | https://hull-repository.worktribe.com/output/463654 |
Publisher URL | http://www.sciencedirect.com/science/article/pii/S1350630710001779 |
Additional Information | Copy of article first published in Engineering failure analysis, 2011, v.18, issue 2 |
Contract Date | Nov 13, 2014 |
Files
Article
(604 Kb)
PDF
Publisher Licence URL
https://creativecommons.org/licenses/by-nc-nd/4.0/
You might also like
Variability management in safety-critical systems design and dependability analysis
(2019)
Journal Article
A model-based extension to HiP-HOPS for dynamic fault propagation studies
(2017)
Journal Article
A synthesis of logic and bio-inspired techniques in the design of dependable systems
(2016)
Journal Article
Automatic allocation of safety requirements to components of a software product line
(2015)
Journal Article
Downloadable Citations
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search