English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Background:  Fault tree analysis (FTA) is a well established method for qualitative aswell as probabilistic reliability and safety analysis. As a Boolean model itdoes not support modelling of dynamic effects like sequence dependenciesbetween fault events. This work describes a method that allows consideration ofsequence dependencies without transformations into state-space.  Concept:  The new temporal fault tree analysis (TFTA) described in this work extendsthe Boolean FTA. The TFTA is based on a new temporal logic which adds a conceptof time to the Boolean logic and algebra. This allows modelling of temporalrelationships between events using two new temporal operators (PAND and SAND).With a set of temporal logic rules, a given temporal term may be simplified toits temporal disjunctive normal form (TDNF) which is similar to the Boolean DNFbut includes event sequencies. In TDNF the top event's temporal system functionmay be reduced to a list of minimal cutset sequences (MCSS). These allowqualitative analyses similar to Boolean cutset analysis in normal FTA.Furthermore the TFTA may also be used for probabilistic analyses without usingstate-space models.  Results:  One significant aspect of the new TFTA described in this work is thepossibility to take sequence dependencies into account for qualitative andprobabilistic analyses without state-space transformations. Among others, thisallows for modelling of event sequencies at all levels within a fault tree, areal qualitative analysis similar to the FTA's cutset analysis, andquantification of sequence dependencies within the same model.

Contribution to Temporal Fault Tree Analysis without Modularization and Transformation into the State Space