The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Safeware: system safety and computers
Safeware: system safety and computers
Handbook of software reliability engineering
Handbook of software reliability engineering
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Fault Tree and Formal Methods in System Safety Analysis
CIT '04 Proceedings of the The Fourth International Conference on Computer and Information Technology
| Hi-index | 0.00 |
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitions between states, and it is difficult to decompose complex system fault events that are composed of multiple normal components' states rather than individual component failures. To solve these problems, we first propose two different fault events of fault trees, and then present a formal fault tree construction model by introducing the concept of transition rules for event decomposition, in which the semantics of gates and minimal cut sets of fault trees are revised compared with traditional FTA.