Temporal fault trees

Information and Software Technology

Volumn 44, Issue 3, 2002, Pages 137-150

  Palshikar, Girish Keshav ^a  

^a TATA RESEARCH DEVELOPMENT AND DESIGN CENTRE   (India)

Author keywords

Diagnosis; Fault tree; Hazard analysis; Safety analysis; Temporal logic

Indexed keywords

COMPUTER AIDED DIAGNOSIS; FAULT TREE ANALYSIS; FORMAL LOGIC; LOGIC GATES;

TEMPORAL FAULT TREES (TFT);

INFORMATION TECHNOLOGY;

EID: 0037087083     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(01)00223-3     Document Type: Article

References (33)

1. Modal and temporal logic
2. Specification and verification in duration calculus
3. TLA in pictures
4. A real-time temporal logic and its decision procedure
5. Actions and events in interval temporal logic
6. Temporal Logic of programs
7. An interval logic for real-time system specification
8. Specifying real-time properties with metric temporal logic
9. A really temporal logic
10. A theory of timed automata
11. Compiling real-time specifications into extended automata
12. Executable object modeling with statecharts
13. Modechart: A specification language for real-time systems
14. Proving properties of real-time systems through logical specifications and Petri net models
15. Modeling and verification of time-dependent systems using timed Petri nets
16. A unified high-level Petri net model for time-critical systems
17. Formal analysis of alternating bit protocol by temporal Petri nets
18. Reduction methods for real-time systems using time delay Petri nets
19. The Galileo fault tree analysis tool
20. Safety verification of Ada programs using software fault trees
21. Safety verification of Ada95 programs using software fault trees
22. A model-oriented approach to safety analysis using fault trees and a support system
23. Improving system reliability with automatic fault tree generation
24. Comparing fault trees and Bayesian networks for dependability analysis
25. A method of analysis of fault trees with time dependencies
26. Software fault tree and colored Petri nets-based specification, design and implementation of agent-based intrusion-detection systems
27. From safety analysis to software requirements
28. A fuzzy temporal notation and its application to specify fault patterns for diagnosis