Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Safeware: system safety and computers
Safeware: system safety and computers
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Maintaining knowledge about temporal intervals
Communications of the ACM
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Developing a High-Quality Software Tool for Fault Tree Analysis
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Hi-index | 0.00 |
Fault trees have been used for software safety analysis in various safety critical systems. The PRIORITY-AND gate was proposed because the conventional AND gate cannot be used to represent the sequential order of the events. This paper shows that even PRIORITY-AND gate is not expressive enough to represent the relative temporal order of the events precisely. We extend the Fault Trees with an AND-THEN gate that is the corresponding gate of the logical connective TAND. This increases the expressive power of the fault trees. The AND-THEN gate can represent relative temporal relations precisely.