Contribution to Temporal Fault Tree Analysis without Modularization and Transformation into the State Space
Background: Fault tree analysis (FTA) is a well established method for qualitative as well as probabilistic reliability and safety analysis. As a Boolean model it does not support modelling of dynamic effects like sequence dependencies between fault events. This work describes a method that allows c...
Saved in:
Published in | arXiv.org |
---|---|
Main Author | |
Format | Paper |
Language | English |
Published |
Ithaca
Cornell University Library, arXiv.org
18.05.2015
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | Background: Fault tree analysis (FTA) is a well established method for qualitative as well as probabilistic reliability and safety analysis. As a Boolean model it does not support modelling of dynamic effects like sequence dependencies between fault events. This work describes a method that allows consideration of sequence dependencies without transformations into state-space. Concept: The new temporal fault tree analysis (TFTA) described in this work extends the Boolean FTA. The TFTA is based on a new temporal logic which adds a concept of time to the Boolean logic and algebra. This allows modelling of temporal relationships between events using two new temporal operators (PAND and SAND). With a set of temporal logic rules, a given temporal term may be simplified to its temporal disjunctive normal form (TDNF) which is similar to the Boolean DNF but includes event sequencies. In TDNF the top event's temporal system function may be reduced to a list of minimal cutset sequences (MCSS). These allow qualitative analyses similar to Boolean cutset analysis in normal FTA. Furthermore the TFTA may also be used for probabilistic analyses without using state-space models. Results: One significant aspect of the new TFTA described in this work is the possibility to take sequence dependencies into account for qualitative and probabilistic analyses without state-space transformations. Among others, this allows for modelling of event sequencies at all levels within a fault tree, a real qualitative analysis similar to the FTA's cutset analysis, and quantification of sequence dependencies within the same model. |
---|---|
AbstractList | Background: Fault tree analysis (FTA) is a well established method for qualitative as well as probabilistic reliability and safety analysis. As a Boolean model it does not support modelling of dynamic effects like sequence dependencies between fault events. This work describes a method that allows consideration of sequence dependencies without transformations into state-space. Concept: The new temporal fault tree analysis (TFTA) described in this work extends the Boolean FTA. The TFTA is based on a new temporal logic which adds a concept of time to the Boolean logic and algebra. This allows modelling of temporal relationships between events using two new temporal operators (PAND and SAND). With a set of temporal logic rules, a given temporal term may be simplified to its temporal disjunctive normal form (TDNF) which is similar to the Boolean DNF but includes event sequencies. In TDNF the top event's temporal system function may be reduced to a list of minimal cutset sequences (MCSS). These allow qualitative analyses similar to Boolean cutset analysis in normal FTA. Furthermore the TFTA may also be used for probabilistic analyses without using state-space models. Results: One significant aspect of the new TFTA described in this work is the possibility to take sequence dependencies into account for qualitative and probabilistic analyses without state-space transformations. Among others, this allows for modelling of event sequencies at all levels within a fault tree, a real qualitative analysis similar to the FTA's cutset analysis, and quantification of sequence dependencies within the same model. |
Author | Schilling, Simon J |
Author_xml | – sequence: 1 givenname: Simon surname: Schilling middlename: J fullname: Schilling, Simon J |
BookMark | eNqNjc0KwjAQhIMo-PsOAc-FmFpbj1IsXjzZe1k10miarckG0ae3qA_gZQaGb2bGrG_Rqh4byTheRNlSyiGbeX8VQshVKpMkHrFbjpacPgbSaDkhL1XTogPDCwiGeOmU4hsL5um15w9NNQbiezwHA06_4FMDe-5AsP6CrvlG2nZbVCt-IKBOWzipKRtcwHg1-_mEzYttme-i1uE9KE_VFYPrvnwlRSZFus5kGv9HvQFSd0t3 |
ContentType | Paper |
Copyright | 2015. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
Copyright_xml | – notice: 2015. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
DBID | 8FE 8FG ABJCF ABUWG AFKRA AZQEC BENPR BGLVJ CCPQU DWQXO HCIFZ L6V M7S PIMPY PQEST PQQKQ PQUKI PRINS PTHSS |
DatabaseName | ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central (Alumni Edition) ProQuest Central ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One Community College ProQuest Central Korea SciTech Premium Collection ProQuest Engineering Collection Engineering Database Publicly Available Content Database ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection |
DatabaseTitle | Publicly Available Content Database Engineering Database Technology Collection ProQuest Central Essentials ProQuest One Academic Eastern Edition ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central China ProQuest Central ProQuest Engineering Collection ProQuest One Academic UKI Edition ProQuest Central Korea Materials Science & Engineering Collection ProQuest One Academic Engineering Collection |
DatabaseTitleList | Publicly Available Content Database |
Database_xml | – sequence: 1 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Physics |
EISSN | 2331-8422 |
Genre | Working Paper/Pre-Print |
GroupedDBID | 8FE 8FG ABJCF ABUWG AFKRA ALMA_UNASSIGNED_HOLDINGS AZQEC BENPR BGLVJ CCPQU DWQXO FRJ HCIFZ L6V M7S M~E PIMPY PQEST PQQKQ PQUKI PRINS PTHSS |
ID | FETCH-proquest_journals_20820798273 |
IEDL.DBID | 8FG |
IngestDate | Wed Sep 25 02:56:48 EDT 2024 |
IsOpenAccess | true |
IsPeerReviewed | false |
IsScholarly | false |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-proquest_journals_20820798273 |
OpenAccessLink | https://www.proquest.com/docview/2082079827/abstract/?pq-origsite=%requestingapplication% |
PQID | 2082079827 |
PQPubID | 2050157 |
ParticipantIDs | proquest_journals_2082079827 |
PublicationCentury | 2000 |
PublicationDate | 20150518 |
PublicationDateYYYYMMDD | 2015-05-18 |
PublicationDate_xml | – month: 05 year: 2015 text: 20150518 day: 18 |
PublicationDecade | 2010 |
PublicationPlace | Ithaca |
PublicationPlace_xml | – name: Ithaca |
PublicationTitle | arXiv.org |
PublicationYear | 2015 |
Publisher | Cornell University Library, arXiv.org |
Publisher_xml | – name: Cornell University Library, arXiv.org |
SSID | ssj0002672553 |
Score | 2.9748585 |
SecondaryResourceType | preprint |
Snippet | Background: Fault tree analysis (FTA) is a well established method for qualitative as well as probabilistic reliability and safety analysis. As a Boolean model... |
SourceID | proquest |
SourceType | Aggregation Database |
SubjectTerms | Boolean algebra Fault tree analysis Modelling Modularization Operators (mathematics) Qualitative analysis Reliability analysis Sequences State space models Temporal logic Transformations (mathematics) |
Title | Contribution to Temporal Fault Tree Analysis without Modularization and Transformation into the State Space |
URI | https://www.proquest.com/docview/2082079827/abstract/ |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV3dS8MwED_miuCbn_gxR0Bfi-v6kfRJUFqL0DG0wt5GustAHO3Wta_-7V5iq4KwxyRwJCHc73eX-wC49VXuCRd9m-cjtD0cczsMOBmuHmLoiBEuTZeIdBIkb97zzJ_1IOlyYXRYZacTjaLGcqF95GSkE1bxUJCpLnPtBVjUd_frja37R-l_1raZxh5Yjq6Jp3PG46cfb8s44MSd3X8K16BIfAjWVK5VdQQ9VRzDvgm-XGxP4EOXiOoaT7G6ZNl3vagVi2WzqllWKcW66iFMe07LpmZpiTqEtM2jZLJAlv1hoTT1XpAsInjMMEr2SuaxOoWbOMoeE7vb4bx9Tdv579ndM-gXZaHOgbmKE92ShO-IHvooRKAkIZKQoRMuQ3UBg12SLncvX8EBUQNf_5M7YgD9umrUNcFvnQ_NzQ7Beogm0xcapZ_RF5nqkiU |
link.rule.ids | 786,790,12792,21416,33408,33779,43635,43840 |
linkProvider | ProQuest |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1bS8MwFD7ohuibV7xMDehrYW3TJn3yQaxV1yFYYW-l3clAHO3Wy__3JLYqCHtN4JCEcL7v3AFuPZVz6aJniXyMFkdHWIEvyHDliIEtx7gwUyLiqR-98-eZN-scbnWXVtnrRKOosZxrHzkZ6YRVIpCOuFutLT01SkdXuxEa2zDkLkGnrhQPH398LI4viDG7_9SswY5wH4av2UpVB7ClikPYMSmX8_oIPnVjqH7cFGtKlnx3iVqyMGuXDUsqpVjfM4Rpf2nZNiwuUSeOdtWTLCuQJX-4Jy19FCSLaB0zPJK9kVGsjuEmfEjuI6s_Ydr9oTr9vbF7AoOiLNQpMFcJIlkZoToiRw-l9FVGOCSzwA4WgTqD0SZJ55u3r2E3SuJJOnmavlzAHpEDT0fKbTmCQVO16pIAuMmvzCt_AbG1jog |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Contribution+to+Temporal+Fault+Tree+Analysis+without+Modularization+and+Transformation+into+the+State+Space&rft.jtitle=arXiv.org&rft.au=Schilling%2C+Simon+J&rft.date=2015-05-18&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422 |