BRADFORD SCHOLARS

    • Sign in
    View Item 
    •   Bradford Scholars
    • Engineering and Informatics
    • Engineering and Informatics Publications
    • View Item
    •   Bradford Scholars
    • Engineering and Informatics
    • Engineering and Informatics Publications
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of Bradford ScholarsCommunitiesAuthorsTitlesSubjectsPublication DateThis CollectionAuthorsTitlesSubjectsPublication Date

    My Account

    Sign in

    HELP

    Bradford Scholars FAQsCopyright Fact SheetPolicies Fact SheetDeposit Terms and ConditionsDigital Preservation Policy

    Statistics

    Display statistics

    A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS

    • CSV
    • RefMan
    • EndNote
    • BibTex
    • RefWorks
    Thumbnail
    Publication date
    2019-10-16
    Author
    Kabir, Sohag
    Aslansefat, K.
    Sorokos, I.
    Papadopoulos, Y.
    Gheraibia, Y.
    Keyword
    Fault tree analysis
    Markov Process
    Model-based safety analysis
    HiP-HOPS
    Reliability
    Real time analysis
    Rights
    (c) 2019 Springer Nature Switzerland AG. Full-text reproduced with publisher permission.
    Peer-Reviewed
    Yes
    
    Metadata
    Show full item record
    Abstract
    Reliability evaluation for ensuring the uninterrupted system operation is an integral part of dependable system development. Model-based safety analysis (MBSA) techniques such as Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) have made the reliability analysis process less expensive in terms of effort and time required. HiP-HOPS uses an analytical modelling approach for Fault tree analysis to automate the reliability analysis process, where each system component is associated with its failure rate or failure probability. However, such non-state-space analysis models are not capable of modelling more complex failure behaviour of component like failure/repair dependencies, e.g., spares, shared repair, imperfect coverage, etc. State-space based paradigms like Markov chain can model complex failure behaviour, but their use can lead to state-space explosion, thus undermining the overall analysis capacity. Therefore, to maintain the benefits of MBSA while not compromising on modelling capability, in this paper, we propose a conceptual framework to incorporate complex basic events in HiP-HOPS. The idea is demonstrated via an illustrative example.
    URI
    http://hdl.handle.net/10454/17466
    Version
    No full-text in the repository
    Citation
    Kabir S, Aslansefat K, Sorokos I et al (2019) A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. 6th International Symposium on Model-Based Safety and Assessment (IMBSA 2019) 16-18 Oct 2019. Thessaloniki, Greece.
    Type
    Conference paper
    Notes
    This conference paper is available to view at http://hdl.handle.net/10454/17423.
    Collections
    Engineering and Informatics Publications

    entitlement

     
    DSpace software (copyright © 2002 - 2019)  DuraSpace
    Quick Guide | Contact Us
    Open Repository is a service operated by 
    Atmire NV
     

    Export search results

    The export option will allow you to export the current search results of the entered query to a file. Different formats are available for download. To export the items, click on the button corresponding with the preferred download format.

    By default, clicking on the export buttons will result in a download of the allowed maximum amount of items.

    To select a subset of the search results, click "Selective Export" button and make a selection of the items you want to export. The amount of items that can be exported at once is similarly restricted as the full export.

    After making a selection, click one of the export format buttons. The amount of items that will be exported is indicated in the bubble next to export format.