Pandora 2: The time of Priority-OR gates

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 1, Issue PART 1, 2007, Pages 25-30

  Walker, Martin ^a   Papadopoulos, Yiannis ^a  

^a UNIVERSITY OF HULL   (United Kingdom)

Author keywords

Fault identification; Reliability; Safety analysis; Safety critical; Temporal logic

Indexed keywords

FAULT TREE ANALYSIS; RELIABILITY; RELIABILITY ANALYSIS; SAFETY ENGINEERING; TEMPORAL LOGIC;

CONCEPTUAL FOUNDATIONS; FAILURE CHARACTERISTICS; FAILURE EVENTS; FAULT IDENTIFICATIONS; OR GATES; SAFETY ANALYSIS; TEMPORAL ORDER; TRUTH TABLES;

COMPUTER CIRCUITS;

EID: 79960895407     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20070613-3-fr-4909.00007     Document Type: Conference Paper

References (10)

1. Fussel J.B., Aber E.F., Rahl R.G. (1976). On quantitative analysis of PAND failure logic. IEEE Trans. on Reliability, R-25/5:324-326.
2. th Euromicro Workshop on Real-Time Systems, pp 9-14. IEEE CS Press, 1996.
3. Hansen K.M., Ravn A.P. (1998). From Safety Analysis to Software Requirements. IEEE Trans. on Software Engineering, 24(7), pp 573-584 (Pubitemid 128741974)
4. Long W., Sato Y., Horigome M. (2000). Quantification of sequential failure logic for fault tree analysis. Reliability Engineering & System Safety Vol 67, pp 269-274. (Pubitemid 30555826)
5. Palshikar G.K. (2002). Temporal Fault Trees. Information and Software Technology, 44:137-150. (Pubitemid 34182430)
6. Dugan J., Venkataraman B., Gulati R. (1997). DIFtree: A software package for the analysis of dynamic fault tree models. Proc. 1997 Reliability and Maintainability Symposium, Jan 1997
7. Vesely W.E., Goldberg F.F., Roberts N.H., Haasl D.F. (1981). Fault Tree Handbook. Washington D.C., USA. US Nuclear Regulatory Commission.
8. Vesely W.E., Stamatelatos M., Dugan J.B., Fragola J., Minarick J., Railsback J. (2002). Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, USA.
9. Walker M.D., Papadopoulos, Y.I. (2006). Pandora: The Time of Priority-AND gates. INCOM 2006, France. pp 237-242.
10. th Int'l Symp. on Software Reliability Engineering (ISSRE '00). pp 283-292. (Pubitemid 32024668)