Ian Philip Wolforth
Specification and use of component failure patterns
Wolforth, Ian Philip
Abstract
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 focused on improving system modelling techniques and the algorithms used for automatic analyses of failure models. However, few developments have been made to improve the scope of reusable analysis elements within these techniques. The failure behaviour of components in these techniques is typically specified in such a way that limits the applicability of such specifications across applications. The thesis argues that allowing more general expressions of failure behaviour, identifiable patterns of failure behaviour for use within safety analyses could be specified and reused across systems and applications where the conditions that allow such reuse are present.This thesis presents a novel Generalised Failure Language (GFL) for the specification and use of component failure patterns. Current model-based safety analysis methods are investigated to examine the scope and the limits of achievable reuse within their analyses. One method, HiP-HOPS, is extended to demonstrate the application of GFL and the use of component failure patterns in the context of automated safety analysis. A managed approach to performing reuse is developed alongside the GFL to create a method for more concise and efficient safety analysis. The method is then applied to a simplified fuel supply and a vehicle braking system, as well as on a set of legacy models that have previously been analysed using classical HiP-HOPS. The proposed GFL method is finally compared against the classical HiP-HOPS, and in the light of this study the benefits and limitations of this approach are discussed in the conclusions.
Citation
Wolforth, I. P. Specification and use of component failure patterns. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4211022
Thesis Type | Thesis |
---|---|
Deposit Date | Aug 15, 2011 |
Publicly Available Date | Feb 22, 2023 |
Keywords | Computer science |
Public URL | https://hull-repository.worktribe.com/output/4211022 |
Additional Information | Department of Computer Science, The University of Hull |
Award Date | May 1, 2010 |
Files
Thesis
(1.4 Mb)
PDF
Copyright Statement
© 2010 Wolforth, Ian Philip. All rights reserved. No part of this publication may be reproduced without the written permission of the copyright holder.
You might also like
Safety-Security Co-Engineering Framework
(2023)
Report
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